comparison: eric6/Preferences/ConfigurationPages/EditorTypingPage.py
eric6/Preferences/ConfigurationPages/EditorTypingPage.py
- changeset 8218
- 7c09585bd960
- parent 8151
- 8c1445825e7b
equal
deleted
inserted
replaced
21 """ |
21 """ |
22 def __init__(self): |
22 def __init__(self): |
23 """ |
23 """ |
24 Constructor |
24 Constructor |
25 """ |
25 """ |
26 super(EditorTypingPage, self).__init__() |
26 super().__init__() |
27 self.setupUi(self) |
27 self.setupUi(self) |
28 self.setObjectName("EditorTypingPage") |
28 self.setObjectName("EditorTypingPage") |
29 |
29 |
30 # set initial values |
30 # set initial values |
31 self.pageIds = { |
31 self.pageIds = { |