Merge branch 'main' into split_tool

2022-10-13 14:57:24 +02:00
parent 1421ed3bf4 e11137a90f
commit 049190739f
2 changed files with 34 additions and 3 deletions
@@ -128,9 +128,7 @@ class GuiPreferences(PagedDialog):
    def _saveWindowSize(self):
        """Save the dialog window size.
        """
-        winWidth = self.mainConf.rpxInt(self.width())
-        winHeight = self.mainConf.rpxInt(self.height())
-        self.mainConf.setPreferencesSize(winWidth, winHeight)
+        self.mainConf.setPreferencesSize(self.width(), self.height())
        return

 # END Class GuiPreferences