Ticket #1725: 1725-homewindow-resize-on-resolution-change.patch

src/jarabe/desktop/homewindow.py

@@ -45 +45 @@
         self._active = False
         self._fully_obscured = True
 
-        self.set_default_size(gtk.gdk.screen_width(),
-                              gtk.gdk.screen_height())
+        screen = self.get_screen()
+        screen.connect('size-changed', self.__screen_size_change_cb)
+        self.set_default_size(screen.get_width(),
+                              screen.get_height())
 
         self.realize()
         self.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DESKTOP)
@@ -80 +82 @@
         elif level == ShellModel.ZOOM_MESH:
             self._mesh_box.suspend()
 
+    def __screen_size_change_cb(self, screen):
+        self.resize(screen.get_width(), screen.get_height())
+
     def _activate_view(self, level):
         if level == ShellModel.ZOOM_HOME:
             self._home_box.resume()