comparison: eric6/Preferences/ConfigurationPages/ViewmanagerPage.py
eric6/Preferences/ConfigurationPages/ViewmanagerPage.py
- changeset 8218
- 7c09585bd960
- parent 7923
- 91e843545d9a
equal
deleted
inserted
replaced
23 """ |
23 """ |
24 def __init__(self): |
24 def __init__(self): |
25 """ |
25 """ |
26 Constructor |
26 Constructor |
27 """ |
27 """ |
28 super(ViewmanagerPage, self).__init__() |
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") |