comparison: Preferences/ConfigurationPages/EditorStylesPage.py
Preferences/ConfigurationPages/EditorStylesPage.py
- changeset 1131
- 7781e396c903
- parent 945
- 8cd4d08fa9f6
- child 1509
- c0b5e693b0eb
equal
deleted
inserted
replaced
25 """ |
25 """ |
26 def __init__(self): |
26 def __init__(self): |
27 """ |
27 """ |
28 Constructor |
28 Constructor |
29 """ |
29 """ |
30 ConfigurationPageBase.__init__(self) |
30 super().__init__() |
31 self.setupUi(self) |
31 self.setupUi(self) |
32 self.setObjectName("EditorStylesPage") |
32 self.setObjectName("EditorStylesPage") |
33 |
33 |
34 self.foldStyles = [ |
34 self.foldStyles = [ |
35 QsciScintilla.PlainFoldStyle, |
35 QsciScintilla.PlainFoldStyle, |