comparison: Preferences/ConfigurationPages/EditorSpellCheckingPage.py
Preferences/ConfigurationPages/EditorSpellCheckingPage.py
- changeset 1131
- 7781e396c903
- parent 945
- 8cd4d08fa9f6
- child 1509
- c0b5e693b0eb
equal
deleted
inserted
replaced
27 """ |
27 """ |
28 def __init__(self): |
28 def __init__(self): |
29 """ |
29 """ |
30 Constructor |
30 Constructor |
31 """ |
31 """ |
32 ConfigurationPageBase.__init__(self) |
32 super().__init__() |
33 self.setupUi(self) |
33 self.setupUi(self) |
34 self.setObjectName("EditorSpellCheckingPage") |
34 self.setObjectName("EditorSpellCheckingPage") |
35 |
35 |
36 self.editorColours = {} |
36 self.editorColours = {} |
37 |
37 |