Ticket #3715: Fix_size_handle_in_help_view.diff

helpwidget.py

@@ -142 +142 @@
         self.add(hbox)
 
         vbox = Gtk.Box(orientation=Gtk.Orientation.VERTICAL)
-        hbox.pack_start(vbox, expand=True, fill=False,
+        hbox.pack_start(vbox, expand=True, fill=True,
                         padding=_DEFAULT_SPACING)
 
         self.preview = _PreviewWidget(icon_file_func)
@@ -824 +824 @@
         logging.debug('FUNC: _configure_event_cb()')
         (width, height) = (event.width, event.height)
 
-        avail_width = width - _DEFAULT_SPACING * 2
-        other_height = avail_width * 3 / 4
+        actual_width = width - style.GRID_CELL_SIZE * 4
+        actual_height = actual_width * 3 / 4
 
-        avail_height = height - _DEFAULT_SPACING * 2
-        other_width = avail_height * 4 / 3
+#        other_height = avail_width * 3 / 4
 
-        if other_height < avail_height:
-            actual_width = avail_width
-            actual_height = other_height
-        else:
-            actual_width = other_width
-            actual_height = avail_height
+#        avail_height = height - _DEFAULT_SPACING * 2
+#        other_width = avail_height * 4 / 3
+
+#        if other_height < avail_height:
+#            actual_width = avail_width
+#            actual_height = other_height
+#        else:
+#            actual_width = other_width
+#            actual_height = avail_height
+
+        self.set_size_request(actual_width, actual_height)
 
         icon_height = int(math.ceil(actual_height * _ICON_HEIGHT))
         board_height = actual_height - icon_height