From 0baefa6d07dd6f0891dc5541e8c79721c4340109 Mon Sep 17 00:00:00 2001 From: Stefan Huber Date: Sun, 8 Jun 2008 10:59:05 +0200 Subject: [PATCH] re-added child-exited handler of gdb-terminal --- DbgTerminal.py | 5 +++-- GdbTerminal.py | 1 + 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/DbgTerminal.py b/DbgTerminal.py index 51d6ce1..73f1516 100644 --- a/DbgTerminal.py +++ b/DbgTerminal.py @@ -35,7 +35,7 @@ class DbgTerminal (vte.Terminal): #Set up terminal window and initialize debugger self.connect("cursor-moved", self.contents_changed) - self.connect("eof", lambda *w: gtk.main_quit()) + self.connect("child-exited", lambda *w: gtk.main_quit()) def contents_changed(self, term): @@ -134,7 +134,8 @@ class DbgWindow (gtk.Window): def toggleClientIOWindow(self): if not self.clientIOWnd: - self.clientIOWnd = ClientIOTerminal.ClientIOWindow(self, self.terminal.client_ptymaster) + self.clientIOWnd = ClientIOTerminal.ClientIOWindow(self, \ + self.terminal.client_ptymaster) else: self.clientIOWnd.destroy() self.clientIOWnd = None diff --git a/GdbTerminal.py b/GdbTerminal.py index 79daf70..3ced460 100755 --- a/GdbTerminal.py +++ b/GdbTerminal.py @@ -62,6 +62,7 @@ if __name__ == "__main__": dbgwnd = DbgTerminal.DbgWindow(dbgterm) DbgTerminal.launchDebugger(dbgwnd, dbgterm) + gtk.main() -- 2.30.2