7 Module implementing the Plugin Manager configuration page. |
7 Module implementing the Plugin Manager configuration page. |
8 """ |
8 """ |
9 |
9 |
10 from PyQt6.QtCore import pyqtSlot |
10 from PyQt6.QtCore import pyqtSlot |
11 |
11 |
12 from E5Gui.E5PathPicker import E5PathPickerModes |
12 from E5Gui.EricPathPicker import EricPathPickerModes |
13 |
13 |
14 from .ConfigurationPageBase import ConfigurationPageBase |
14 from .ConfigurationPageBase import ConfigurationPageBase |
15 from .Ui_PluginManagerPage import Ui_PluginManagerPage |
15 from .Ui_PluginManagerPage import Ui_PluginManagerPage |
16 |
16 |
17 import Preferences |
17 import Preferences |
27 """ |
27 """ |
28 super().__init__() |
28 super().__init__() |
29 self.setupUi(self) |
29 self.setupUi(self) |
30 self.setObjectName("PluginManagerPage") |
30 self.setObjectName("PluginManagerPage") |
31 |
31 |
32 self.downloadDirPicker.setMode(E5PathPickerModes.DIRECTORY_MODE) |
32 self.downloadDirPicker.setMode(EricPathPickerModes.DIRECTORY_MODE) |
33 |
33 |
34 # set initial values |
34 # set initial values |
35 self.activateExternalPluginsCheckBox.setChecked( |
35 self.activateExternalPluginsCheckBox.setChecked( |
36 Preferences.getPluginManager("ActivateExternal")) |
36 Preferences.getPluginManager("ActivateExternal")) |
37 self.downloadDirPicker.setText( |
37 self.downloadDirPicker.setText( |