Changeset 1098:cd3cf67ef749 for src

Timestamp:

08/11/23 14:46:33 (16 months ago)

Author:

István Váradi <ivaradi@…>

Branch:

python3

Phase:

public

Message:

The main window can be made resizable (re #369).

Location:

src/mlx

Files:

• config.py (modified) (5 diffs)
• gui/gui.py (modified) (2 diffs)
• gui/prefs.py (modified) (3 diffs)

src/mlx/config.py

@@ -224 +224 @@
         self._clearBrowserCacheOnStart = False
         self._language = ""
+        self._mainWindowResizable = False
         self._hideMinimizedWindow = True
         self._quitOnClose = False
@@ -335 +336 @@
 
     @property
+    def mainWindowResizable(self):
+        """Get whether a the main window should be resizable."""
+        return self._mainWindowResizable
+
+    @mainWindowResizable.setter
+    def mainWindowResizable(self, mainWindowResizable):
+        """Set whether a minimized window should be hidden."""
+        if mainWindowResizable!=self._mainWindowResizable:
+            self._mainWindowResizable = mainWindowResizable
+            self._modified = True
+
+    @property
     def hideMinimizedWindow(self):
         """Get whether a minimized window should be hidden."""
@@ -773 +786 @@
         self._language = self._get(config, "general", "language", "")
 
+        self._mainWindowResizable = self._getBoolean(config, "general",
+                                                     "mainWindowResizable",
+                                                     False)
         self._hideMinimizedWindow = self._getBoolean(config, "general",
                                                      "hideMinimizedWindow",
@@ -884 +900 @@
         if self._language:
             config.set("general", "language", self._language)
+        config.set("general", "mainWindowResizable",
+                   "yes" if self._mainWindowResizable else "no")
         config.set("general", "hideMinimizedWindow",
                    "yes" if self._hideMinimizedWindow else "no")
@@ -1056 +1074 @@
         print("  language:", self._language)
 
+        print("  mainWindowResizable:", self._mainWindowResizable)
         print("  hideMinimizedWindow:", self._hideMinimizedWindow)
         print("  quitOnClose:", self._quitOnClose)

src/mlx/gui/gui.py

@@ -118 +118 @@
         window.set_title(WINDOW_TITLE_BASE)
         window.set_icon_from_file(os.path.join(iconDirectory, "logo.ico"))
-        window.set_resizable(False)
+        window.set_resizable(self.config.mainWindowResizable)
         window.connect("delete-event", self.deleteMainWindow)
         window.connect("window-state-event", self._handleMainWindowState)
@@ -1432 +1432 @@
         self._clearHotkeys()
         self._preferences.run(self.config)
+        self._mainWindow.set_resizable(self.config.mainWindowResizable)
         self._setupTimeSync()
         self._listenHotkeys()

src/mlx/gui/prefs.py

@@ -231 +231 @@
 
         self._setLanguage(config.language)
+        self._mainWindowResizable.set_active(config.mainWindowResizable)
         self._hideMinimizedWindow.set_active(config.hideMinimizedWindow)
         self._quitOnClose.set_active(config.quitOnClose)
@@ -287 +288 @@
         """Setup the given config from the settings in the dialog."""
         config.language = self._getLanguage()
+        config.mainWindowResizable = self._mainWindowResizable.get_active()
         config.hideMinimizedWindow = self._hideMinimizedWindow.get_active()
         config.quitOnClose = self._quitOnClose.get_active()
@@ -369 +371 @@
         self._warnedRestartNeeded = False
 
+        self._mainWindowResizable = Gtk.CheckButton(xstr("prefs_mainWindowResizable"))
+        self._mainWindowResizable.set_use_underline(True)
+        self._mainWindowResizable.set_tooltip_text(xstr("prefs_mainWindowResizable_tooltip"))
+        guiBox.pack_start(self._mainWindowResizable, False, False, 4)
+
         self._hideMinimizedWindow = Gtk.CheckButton(xstr("prefs_hideMinimizedWindow"))
         self._hideMinimizedWindow.set_use_underline(True)