Preferences/ConfigurationPages/ViewmanagerPage.py

changeset 1131
7781e396c903
parent 945
8cd4d08fa9f6
child 1509
c0b5e693b0eb
equal deleted inserted replaced
1130:3e9f0330f833 1131:7781e396c903
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")

eric ide

mercurial