Put content of editor to ScrollWindow if screen height is <900px. Fixes

#105
kozec · May 21, 2015 · ce562ee · ce562ee
1 parent c79f549
commit ce562ee
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/device-edit.glade b/device-edit.glade
@@ -88,7 +88,7 @@
           </packing>
         </child>
         <child>
-          <object class="GtkGrid" id="grid1">
+          <object class="GtkGrid" id="editor-content">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
             <property name="margin_left">10</property>

diff --git a/folder-edit.glade b/folder-edit.glade
@@ -100,7 +100,7 @@
           </packing>
         </child>
         <child>
-          <object class="GtkGrid" id="grid1">
+          <object class="GtkGrid" id="editor-content">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
             <property name="margin_left">10</property>

diff --git a/syncthing_gtk/editordialog.py b/syncthing_gtk/editordialog.py
@@ -42,6 +42,16 @@ def __init__(self, app, gladefile, title):
 		# Used by get_widget_id
 		self.widget_to_id = {}
 		self.setup_widgets(gladefile, title)
+		# Move entire dialog content to ScrolledWindow if screen height
+		# is too small
+		if Gdk.Screen.get_default().height() < 900:
+			if not self["editor-content"] is None:
+				parent = self["editor-content"].get_parent()
+				parent.remove(self["editor-content"])
+				sw = Gtk.ScrolledWindow()
+				sw.add_with_viewport(self["editor-content"])
+				parent.pack_start(sw, True, True, 0)
+				self["editor"].resize(self["editor"].get_size()[0], Gdk.Screen.get_default().height() * 2 / 3)
 
 	def load(self):
 		""" Loads configuration data and pre-fills values to fields """