comparison: Preferences/ConfigurationPages/EditorKeywordsPage.py
Preferences/ConfigurationPages/EditorKeywordsPage.py
- changeset 1131
- 7781e396c903
- parent 945
- 8cd4d08fa9f6
- child 1446
- e2658efcdaf4
equal
deleted
inserted
replaced
23 """ |
23 """ |
24 def __init__(self): |
24 def __init__(self): |
25 """ |
25 """ |
26 Constructor |
26 Constructor |
27 """ |
27 """ |
28 ConfigurationPageBase.__init__(self) |
28 super().__init__() |
29 self.setupUi(self) |
29 self.setupUi(self) |
30 self.setObjectName("EditorKeywordsPage") |
30 self.setObjectName("EditorKeywordsPage") |
31 |
31 |
32 # set initial values |
32 # set initial values |
33 self.__keywords = { |
33 self.__keywords = { |