13 from PyQt6.Qsci import QsciScintilla |
13 from PyQt6.Qsci import QsciScintilla |
14 |
14 |
15 from .ConfigurationPageBase import ConfigurationPageBase |
15 from .ConfigurationPageBase import ConfigurationPageBase |
16 from .Ui_EditorStylesPage import Ui_EditorStylesPage |
16 from .Ui_EditorStylesPage import Ui_EditorStylesPage |
17 |
17 |
18 import Preferences |
18 from eric7 import Preferences |
19 |
19 |
20 |
20 |
21 class EditorStylesPage(ConfigurationPageBase, Ui_EditorStylesPage): |
21 class EditorStylesPage(ConfigurationPageBase, Ui_EditorStylesPage): |
22 """ |
22 """ |
23 Class implementing the Editor Styles configuration page. |
23 Class implementing the Editor Styles configuration page. |
29 """ |
29 """ |
30 super().__init__() |
30 super().__init__() |
31 self.setupUi(self) |
31 self.setupUi(self) |
32 self.setObjectName("EditorStylesPage") |
32 self.setObjectName("EditorStylesPage") |
33 |
33 |
34 from QScintilla.QsciScintillaCompat import QsciScintillaCompat |
34 from eric7.QScintilla.QsciScintillaCompat import QsciScintillaCompat |
35 |
35 |
36 self.foldStyles = [ |
36 self.foldStyles = [ |
37 QsciScintilla.FoldStyle.PlainFoldStyle.value, |
37 QsciScintilla.FoldStyle.PlainFoldStyle.value, |
38 QsciScintilla.FoldStyle.CircledFoldStyle.value, |
38 QsciScintilla.FoldStyle.CircledFoldStyle.value, |
39 QsciScintilla.FoldStyle.BoxedFoldStyle.value, |
39 QsciScintilla.FoldStyle.BoxedFoldStyle.value, |