--- a/src/eric7/Preferences/__init__.py Sun Jan 21 13:00:42 2024 +0100 +++ b/src/eric7/Preferences/__init__.py Sun Jan 21 15:38:51 2024 +0100 @@ -1507,6 +1507,7 @@ "MainMaximized": False, "HexEditorGeometry": QByteArray(), "IconEditorGeometry": QByteArray(), + "MPyWindowGeometry": QByteArray(), "PdfViewerGeometry": QByteArray(), "WebBrowserGeometry": QByteArray(), "WebInspectorGeometry": QByteArray(), @@ -1624,6 +1625,7 @@ "ShowHiddenLocal": True, "ShowHiddenDevice": True, "EnableManualDeviceSelection": False, + "MPyWindowSplitterSizes": "[]", # empty list encoded as JSON "ChartColorTheme": -1, # -1 = automatic, # QChart.ChartTheme otherwise "MpyCrossCompiler": "", # path of the mpy-cross compiler @@ -4056,7 +4058,12 @@ return toBool( Prefs.settings.value("MicroPython/" + key, Prefs.microPythonDefaults[key]) ) - elif key in ["IgnoredUnknownDevices", "ManualDevices", "WebreplUrls"]: + elif key in ( + "IgnoredUnknownDevices", + "ManualDevices", + "WebreplUrls", + "MPyWindowSplitterSizes", + ): jsonStr = Prefs.settings.value( "MicroPython/" + key, Prefs.microPythonDefaults[key] ) @@ -4084,7 +4091,12 @@ @param value the value to be set @type Any """ - if key in ["IgnoredUnknownDevices", "ManualDevices", "WebreplUrls"]: + if key in ( + "IgnoredUnknownDevices", + "ManualDevices", + "WebreplUrls", + "MPyWindowSplitterSizes", + ): Prefs.settings.setValue("MicroPython/" + key, json.dumps(value)) elif key in ("WifiPassword", "WifiApPassword"): Prefs.settings.setValue("MicroPython/" + key, pwConvert(value, encode=True))