7 Module implementing the Editor Styles configuration page. |
7 Module implementing the Editor Styles configuration page. |
8 """ |
8 """ |
9 |
9 |
10 from PyQt4.QtCore import pyqtSlot |
10 from PyQt4.QtCore import pyqtSlot |
11 from PyQt4.Qsci import QsciScintilla |
11 from PyQt4.Qsci import QsciScintilla |
|
12 |
|
13 from QScintilla.QsciScintillaCompat import QsciScintillaCompat |
12 |
14 |
13 from .ConfigurationPageBase import ConfigurationPageBase |
15 from .ConfigurationPageBase import ConfigurationPageBase |
14 from .Ui_EditorStylesPage import Ui_EditorStylesPage |
16 from .Ui_EditorStylesPage import Ui_EditorStylesPage |
15 |
17 |
16 import Preferences |
18 import Preferences |
30 self.foldStyles = [ |
32 self.foldStyles = [ |
31 QsciScintilla.PlainFoldStyle, |
33 QsciScintilla.PlainFoldStyle, |
32 QsciScintilla.CircledFoldStyle, |
34 QsciScintilla.CircledFoldStyle, |
33 QsciScintilla.BoxedFoldStyle, |
35 QsciScintilla.BoxedFoldStyle, |
34 QsciScintilla.CircledTreeFoldStyle, |
36 QsciScintilla.CircledTreeFoldStyle, |
35 QsciScintilla.BoxedTreeFoldStyle |
37 QsciScintilla.BoxedTreeFoldStyle, |
|
38 QsciScintillaCompat.ArrowFoldStyle, |
|
39 QsciScintillaCompat.ArrowTreeFoldStyle, |
36 ] |
40 ] |
37 |
41 |
38 self.edgeModes = [ |
42 self.edgeModes = [ |
39 QsciScintilla.EdgeNone, |
43 QsciScintilla.EdgeNone, |
40 QsciScintilla.EdgeLine, |
44 QsciScintilla.EdgeLine, |