Preferences/ConfigurationPages/EditorStylesPage.py

changeset 330
4b4f242bf3f6
parent 230
2cde09c26384
child 342
360c4eb76d6c
equal deleted inserted replaced
326:59b789a13dcb 330:4b4f242bf3f6
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,

eric ide

mercurial