8 """ |
8 """ |
9 |
9 |
10 from PyQt4.QtCore import pyqtSlot |
10 from PyQt4.QtCore import pyqtSlot |
11 from PyQt4.QtGui import QColor, QPalette, QColorDialog |
11 from PyQt4.QtGui import QColor, QPalette, QColorDialog |
12 from PyQt4.Qsci import QsciScintilla |
12 from PyQt4.Qsci import QsciScintilla |
13 |
|
14 from QScintilla.QsciScintillaCompat import QsciScintillaCompat, QSCINTILLA_VERSION |
|
15 |
13 |
16 from .ConfigurationPageBase import ConfigurationPageBase |
14 from .ConfigurationPageBase import ConfigurationPageBase |
17 from .Ui_EditorStylesPage import Ui_EditorStylesPage |
15 from .Ui_EditorStylesPage import Ui_EditorStylesPage |
18 |
16 |
19 import Preferences |
17 import Preferences |
29 """ |
27 """ |
30 super().__init__() |
28 super().__init__() |
31 self.setupUi(self) |
29 self.setupUi(self) |
32 self.setObjectName("EditorStylesPage") |
30 self.setObjectName("EditorStylesPage") |
33 |
31 |
|
32 from QScintilla.QsciScintillaCompat import QsciScintillaCompat, QSCINTILLA_VERSION |
34 self.foldStyles = [ |
33 self.foldStyles = [ |
35 QsciScintilla.PlainFoldStyle, |
34 QsciScintilla.PlainFoldStyle, |
36 QsciScintilla.CircledFoldStyle, |
35 QsciScintilla.CircledFoldStyle, |
37 QsciScintilla.BoxedFoldStyle, |
36 QsciScintilla.BoxedFoldStyle, |
38 QsciScintilla.CircledTreeFoldStyle, |
37 QsciScintilla.CircledTreeFoldStyle, |