--- a/src/eric7/Preferences/ConfigurationPages/MicroPythonPage.py Sun Dec 18 14:19:10 2022 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/MicroPythonPage.py Sun Dec 18 19:33:46 2022 +0100 @@ -8,9 +8,10 @@ """ -from eric7 import Preferences, Utilities +from eric7 import Preferences from eric7.EricWidgets.EricPathPicker import EricPathPickerModes from eric7.MicroPython.MicroPythonWidget import AnsiColorSchemes +from eric7.SystemUtilities import FileSystemUtilities, OSUtilities from .ConfigurationPageBase import ConfigurationPageBase from .Ui_MicroPythonPage import Ui_MicroPythonPage @@ -80,8 +81,8 @@ # set initial values # workspace self.workspacePicker.setText( - Utilities.toNativeSeparators( - Preferences.getMicroPython("MpyWorkspace") or Utilities.getHomeDir() + FileSystemUtilities.toNativeSeparators( + Preferences.getMicroPython("MpyWorkspace") or OSUtilities.getHomeDir() ) )