comparison: Preferences/ConfigurationPages/ViewmanagerPage.py
Preferences/ConfigurationPages/ViewmanagerPage.py
- changeset 1131
- 7781e396c903
- parent 945
- 8cd4d08fa9f6
- child 1509
- c0b5e693b0eb
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("ViewmanagerPage") |
30 self.setObjectName("ViewmanagerPage") |
31 |
31 |
32 # set initial values |
32 # set initial values |
33 self.pluginManager = e5App().getObject("PluginManager") |
33 self.pluginManager = e5App().getObject("PluginManager") |