Merge pull request #3141 from thocevar/resize

Let the main area shrink further when control area is hidden.

Author: ajdapretnar

Orange/widgets/widget.py

@@ -479,6 +479,12 @@ def copy_to_clipboard(self):
     def storeControlAreaVisibility(self, visible):
         self.controlAreaVisible = visible
 
+        # Set minimum width to 1 (overrides minimumSizeHint) when control area
+        # is not visible to allow the main area to shrink further. Reset the minimum
+        # width with a 0 if control area is visible.
+        self.__splitter.widget(0).setMinimumWidth(int(not visible))
+        self.updateGeometry()
+
     def __restoreWidgetGeometry(self, geometry):
         # type: (bytes) -> bool
         def _fullscreen_to_maximized(geometry):