3185:d4fa462547bc | 3186:a05eff845522 |
---|---|
17 from .ConfigurationPageBase import ConfigurationPageBase | 17 from .ConfigurationPageBase import ConfigurationPageBase |
18 from .Ui_PluginManagerPage import Ui_PluginManagerPage | 18 from .Ui_PluginManagerPage import Ui_PluginManagerPage |
19 | 19 |
20 import Preferences | 20 import Preferences |
21 import Utilities | 21 import Utilities |
22 import UI.PixmapCache | |
22 | 23 |
23 | 24 |
24 class PluginManagerPage(ConfigurationPageBase, Ui_PluginManagerPage): | 25 class PluginManagerPage(ConfigurationPageBase, Ui_PluginManagerPage): |
25 """ | 26 """ |
26 Class implementing the Plugin Manager configuration page. | 27 Class implementing the Plugin Manager configuration page. |
30 Constructor | 31 Constructor |
31 """ | 32 """ |
32 super().__init__() | 33 super().__init__() |
33 self.setupUi(self) | 34 self.setupUi(self) |
34 self.setObjectName("PluginManagerPage") | 35 self.setObjectName("PluginManagerPage") |
36 | |
37 self.downloadDirButton.setIcon(UI.PixmapCache.getIcon("open.png")) | |
35 | 38 |
36 self.downloadDirCompleter = E5DirCompleter(self.downloadDirEdit) | 39 self.downloadDirCompleter = E5DirCompleter(self.downloadDirEdit) |
37 | 40 |
38 # set initial values | 41 # set initial values |
39 self.activateExternalPluginsCheckBox.setChecked( | 42 self.activateExternalPluginsCheckBox.setChecked( |