comparison: Preferences/ConfigurationPages/EditorGeneralPage.py
Preferences/ConfigurationPages/EditorGeneralPage.py
- changeset 1131
- 7781e396c903
- parent 945
- 8cd4d08fa9f6
- child 1509
- c0b5e693b0eb
equal
deleted
inserted
replaced
19 """ |
19 """ |
20 def __init__(self): |
20 def __init__(self): |
21 """ |
21 """ |
22 Constructor |
22 Constructor |
23 """ |
23 """ |
24 ConfigurationPageBase.__init__(self) |
24 super().__init__() |
25 self.setupUi(self) |
25 self.setupUi(self) |
26 self.setObjectName("EditorGeneralPage") |
26 self.setObjectName("EditorGeneralPage") |
27 |
27 |
28 # set initial values |
28 # set initial values |
29 self.tabwidthSlider.setValue( |
29 self.tabwidthSlider.setValue( |