Preferences/ConfigurationPages/PluginManagerPage.py

changeset 3186
a05eff845522
parent 3160
209a07d7e401
child 3190
a9a94491c4fd
equal deleted inserted replaced
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(

eric ide

mercurial