diff --git a/terminatorlib/notebook.py b/terminatorlib/notebook.py index 584d14d6..5ec3f9c0 100755 --- a/terminatorlib/notebook.py +++ b/terminatorlib/notebook.py @@ -200,7 +200,6 @@ class Notebook(Container, gtk.Notebook): while len(objects) > 0: descendant = objects.pop() descendant.close() - # FIXME: Is this mainloop iterations stuff necessary? while gtk.events_pending(): gtk.main_iteration() return diff --git a/terminatorlib/terminal.py b/terminatorlib/terminal.py index 889615ba..5be090b3 100755 --- a/terminatorlib/terminal.py +++ b/terminatorlib/terminal.py @@ -5,6 +5,7 @@ import sys import os +import signal import pygtk pygtk.require('2.0') import gtk @@ -164,6 +165,7 @@ class Terminal(gtk.VBox): """Close ourselves""" dbg('Terminal::close: emitting close-term') self.emit('close-term') + os.kill(self.pid, signal.SIGHUP) def create_terminalbox(self): """Create a GtkHBox containing the terminal and a scrollbar"""