From 21ab156941ee7e74111e4ea6e9b708a6bd640aa4 Mon Sep 17 00:00:00 2001 From: Edoardo Batini Date: Tue, 20 May 2008 19:25:54 +0200 Subject: [PATCH] Closing full window terminal allowed. --- terminator | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/terminator b/terminator index f2157f69..a5f5683b 100755 --- a/terminator +++ b/terminator @@ -576,9 +576,11 @@ class TerminatorTerm (gtk.VBox): class Terminator: def __init__ (self, profile, command = None, fullscreen = False, maximise = False, borderless = False): + self.profile = profile self.command = command - + + self._fullwindow = False self._fullscreen = False self.term_list = [] stores = [] @@ -763,6 +765,9 @@ class Terminator: return (terminal) def closeterm (self, widget): + if self._fullwindow: + self.show_back_others(widget) + parent = widget.get_parent () sibling = None @@ -889,6 +894,7 @@ class Terminator: self.old_parent.remove(widget) self.window.add(widget) self.window.show_all() + self._fullwindow = True def show_back_others(self, widget): """Proof of concept: Go back to previous application @@ -898,6 +904,7 @@ class Terminator: self.window.add(self.window_child) self.old_parent.add(widget) self.window.show_all() + self._fullwindow = False if __name__ == '__main__':