Preferences/ConfigurationPages/PluginManagerPage.py

changeset 1131
7781e396c903
parent 945
8cd4d08fa9f6
child 1509
c0b5e693b0eb
equal deleted inserted replaced
1130:3e9f0330f833 1131:7781e396c903
27 """ 27 """
28 def __init__(self): 28 def __init__(self):
29 """ 29 """
30 Constructor 30 Constructor
31 """ 31 """
32 ConfigurationPageBase.__init__(self) 32 super().__init__()
33 self.setupUi(self) 33 self.setupUi(self)
34 self.setObjectName("PluginManagerPage") 34 self.setObjectName("PluginManagerPage")
35 35
36 self.downloadDirCompleter = E5DirCompleter(self.downloadDirEdit) 36 self.downloadDirCompleter = E5DirCompleter(self.downloadDirEdit)
37 37

eric ide

mercurial