comparison: eric6/Preferences/ConfigurationPages/EditorSearchPage.py
eric6/Preferences/ConfigurationPages/EditorSearchPage.py
- changeset 8218
- 7c09585bd960
- parent 7923
- 91e843545d9a
- child 8234
- fcb6b4b96274
equal
deleted
inserted
replaced
19 """ |
19 """ |
20 def __init__(self): |
20 def __init__(self): |
21 """ |
21 """ |
22 Constructor |
22 Constructor |
23 """ |
23 """ |
24 super(EditorSearchPage, self).__init__() |
24 super().__init__() |
25 self.setupUi(self) |
25 self.setupUi(self) |
26 self.setObjectName("EditorSearchPage") |
26 self.setObjectName("EditorSearchPage") |
27 |
27 |
28 self.editorColours = {} |
28 self.editorColours = {} |
29 |
29 |