2523:139f182b72f6 | 2525:8b507a9a2d40 |
---|---|
4 # | 4 # |
5 | 5 |
6 """ | 6 """ |
7 Module implementing the Editor General configuration page. | 7 Module implementing the Editor General configuration page. |
8 """ | 8 """ |
9 | |
10 from __future__ import unicode_literals # __IGNORE_WARNING__ | |
9 | 11 |
10 from .ConfigurationPageBase import ConfigurationPageBase | 12 from .ConfigurationPageBase import ConfigurationPageBase |
11 from .Ui_EditorGeneralPage import Ui_EditorGeneralPage | 13 from .Ui_EditorGeneralPage import Ui_EditorGeneralPage |
12 | 14 |
13 import Preferences | 15 import Preferences |
19 """ | 21 """ |
20 def __init__(self): | 22 def __init__(self): |
21 """ | 23 """ |
22 Constructor | 24 Constructor |
23 """ | 25 """ |
24 super().__init__() | 26 super(EditorGeneralPage, self).__init__() |
25 self.setupUi(self) | 27 self.setupUi(self) |
26 self.setObjectName("EditorGeneralPage") | 28 self.setObjectName("EditorGeneralPage") |
27 | 29 |
28 # set initial values | 30 # set initial values |
29 self.tabwidthSlider.setValue( | 31 self.tabwidthSlider.setValue( |