diff -r 0b936ff1bbb9 -r a2bc06a54d9d src/eric7/Preferences/ConfigurationPages/EditorStylesPage.py
--- a/src/eric7/Preferences/ConfigurationPages/EditorStylesPage.py Sun Nov 06 11:22:39 2022 +0100
+++ b/src/eric7/Preferences/ConfigurationPages/EditorStylesPage.py Mon Nov 07 17:19:58 2022 +0100
@@ -13,6 +13,7 @@
from PyQt6.QtWidgets import QColorDialog, QFontDialog
from eric7 import Preferences
+from eric7.QScintilla.QsciScintillaCompat import QsciScintillaCompat
from .ConfigurationPageBase import ConfigurationPageBase
from .Ui_EditorStylesPage import Ui_EditorStylesPage
@@ -31,8 +32,6 @@
self.setupUi(self)
self.setObjectName("EditorStylesPage")
- from eric7.QScintilla.QsciScintillaCompat import QsciScintillaCompat
-
self.foldStyles = [
QsciScintilla.FoldStyle.PlainFoldStyle.value,
QsciScintilla.FoldStyle.CircledFoldStyle.value,
