From 99761faa3bedeb2f78e35585e595b0d30572242b Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Sun, 25 May 2008 01:27:49 +0100 Subject: [PATCH] track window fullscreenness via event handler. Fixes LP #230645 --- terminator | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/terminator b/terminator index c88d638a..fad83d72 100755 --- a/terminator +++ b/terminator @@ -858,6 +858,7 @@ class Terminator: self.window.connect ("key-press-event", self.on_key_press) self.window.connect ("delete_event", self.on_delete_event) self.window.connect ("destroy", self.on_destroy_event) + self.window.connect ("window-state-event", self.on_window_state_changed) self.window.set_property ('allow-shrink', True) @@ -899,7 +900,12 @@ class Terminator: self.window.unfullscreen () else: self.window.fullscreen () - self._fullscreen = not self._fullscreen + + def on_window_state_changed (self, window, event): + state = event.new_window_state & gtk.gdk.WINDOW_STATE_FULLSCREEN + self._fullscreen = bool (state) + + return (False) def on_delete_event (self, window, event, data=None): if len (self.term_list) == 1: