comparison: Preferences/ConfigurationPages/EditorCalltipsQScintillaPage.py
Preferences/ConfigurationPages/EditorCalltipsQScintillaPage.py
- changeset 1131
- 7781e396c903
- parent 945
- 8cd4d08fa9f6
- child 1509
- c0b5e693b0eb
equal
deleted
inserted
replaced
22 """ |
22 """ |
23 def __init__(self): |
23 def __init__(self): |
24 """ |
24 """ |
25 Constructor |
25 Constructor |
26 """ |
26 """ |
27 ConfigurationPageBase.__init__(self) |
27 super().__init__() |
28 self.setupUi(self) |
28 self.setupUi(self) |
29 self.setObjectName("EditorCalltipsQScintillaPage") |
29 self.setObjectName("EditorCalltipsQScintillaPage") |
30 |
30 |
31 # set initial values |
31 # set initial values |
32 ctContext = Preferences.getEditor("CallTipsStyle") |
32 ctContext = Preferences.getEditor("CallTipsStyle") |