--- a/src/eric7/QScintilla/MiniEditor.py Sun Jun 30 15:37:49 2024 +0200 +++ b/src/eric7/QScintilla/MiniEditor.py Sun Jun 30 17:58:31 2024 +0200 @@ -45,7 +45,7 @@ QWidget, ) -from eric7 import Globals, Preferences, Utilities +from eric7 import EricUtilities, Preferences, Utilities from eric7.EricGui import EricPixmapCache from eric7.EricGui.EricAction import EricAction, createActionGroup from eric7.EricGui.EricOverrideCursor import EricOverrideCursor @@ -4456,9 +4456,9 @@ elif option == "DefaultEncoding": value = config["charset"] elif option == "InsertFinalNewline": - value = Globals.toBool(config["insert_final_newline"]) + value = EricUtilities.toBool(config["insert_final_newline"]) elif option == "StripTrailingWhitespace": - value = Globals.toBool(config["trim_trailing_whitespace"]) + value = EricUtilities.toBool(config["trim_trailing_whitespace"]) elif option == "TabWidth": value = int(config["tab_width"]) elif option == "IndentWidth":