PyGTK gdb frontend