Ticket #1102: dslo1102.patch

src/sugar/graphics/window.py

@@ -24 +24 @@
 
 from sugar.graphics.icon import Icon
 
+UNFULLSCREEN_BUTTON_VISIBILITY_TIMEOUT = 2
+
 class UnfullscreenButton(gtk.Window):
 
     def __init__(self):
@@ -82 +84 @@
         self.connect('realize', self.__window_realize_cb)
         self.connect('window-state-event', self.__window_state_event_cb)
         self.connect('key-press-event', self.__key_press_cb)
-        
+
         self.toolbox = None
         self._alerts = []
         self.canvas = None
@@ -96 +98 @@
         self._event_box = gtk.EventBox()
         self._hbox.pack_start(self._event_box)
         self._event_box.show()
-        
+        events = self._event_box.get_events()
+        self._event_box.set_events(events | gtk.gdk.POINTER_MOTION_MASK | \
+            gtk.gdk.POINTER_MOTION_HINT_MASK)
+        self._event_box.connect('motion-notify-event', self.__motion_notify_cb)
+
         self.add(self._vbox)
         self._vbox.show()
 
@@ -105 +111 @@
         self._unfullscreen_button.set_transient_for(self)
         self._unfullscreen_button.connect_button_press(
             self.__unfullscreen_button_pressed)
+        self._unfullscreen_button_timeout_id = None
 
     def set_canvas(self, canvas):
         if self.canvas:
@@ -179 +186 @@
             if self.props.enable_fullscreen_mode:
                 self._unfullscreen_button.show()
 
+                if self._unfullscreen_button_timeout_id:
+                    gobject.source_remove(self._unfullscreen_button_timeout_id)
+                    self._unfullscreen_button_timeout_id = None
+
+                gobject.timeout_add_seconds(UNFULLSCREEN_BUTTON_VISIBILITY_TIMEOUT, \
+                    self._unfullscreen_button_timeout_cb)
+
         else:
             if self.toolbox is not None:
                 self.toolbox.show()
@@ -189 +203 @@
             if self.props.enable_fullscreen_mode:
                 self._unfullscreen_button.hide()
 
+                if self._unfullscreen_button_timeout_id:
+                    gobject.source_remove(self._unfullscreen_button_timeout_id)
+                    self._unfullscreen_button_timeout_id = None
+
     def __key_press_cb(self, widget, event):
         key = gtk.gdk.keyval_name(event.keyval)
         if event.state & gtk.gdk.MOD1_MASK:
@@ -204 +222 @@
     def __unfullscreen_button_pressed(self, widget, event):
         self.unfullscreen()
 
+    def __motion_notify_cb(self, widget, event):
+        if self._is_fullscreen and self.props.enable_fullscreen_mode:
+            if not self._unfullscreen_button.props.visible:
+                self._unfullscreen_button.show()
+            else:
+                # Reset the timer
+                if self._unfullscreen_button_timeout_id:
+                    gobject.source_remove(self._unfullscreen_button_timeout_id)
+                    self._unfullscreen_button_timeout_id = None
+
+                gobject.timeout_add_seconds(UNFULLSCREEN_BUTTON_VISIBILITY_TIMEOUT, \
+                    self._unfullscreen_button_timeout_cb)
+        return True
+
+    def _unfullscreen_button_timeout_cb(self):
+        self._unfullscreen_button.hide()
+        return False
+
     def set_enable_fullscreen_mode(self, enable_fullscreen_mode):
         self._enable_fullscreen_mode = enable_fullscreen_mode
 
@@ -214 +250 @@
                                               setter=set_enable_fullscreen_mode,
                                               getter=get_enable_fullscreen_mode)
 
+