74 @param pluginManager reference to the plugin manager object |
74 @param pluginManager reference to the plugin manager object |
75 @type PluginManager |
75 @type PluginManager |
76 @param parent parent of this dialog |
76 @param parent parent of this dialog |
77 @type QWidget |
77 @type QWidget |
78 """ |
78 """ |
79 super(PluginRepositoryWidget, self).__init__(parent) |
79 super().__init__(parent) |
80 self.setupUi(self) |
80 self.setupUi(self) |
81 |
81 |
82 if pluginManager is None: |
82 if pluginManager is None: |
83 # started as external plug-in repository dialog |
83 # started as external plug-in repository dialog |
84 from .PluginManager import PluginManager |
84 from .PluginManager import PluginManager |
794 @param pluginManager reference to the plugin manager object |
794 @param pluginManager reference to the plugin manager object |
795 @type PluginManager |
795 @type PluginManager |
796 @param parent reference to the parent widget |
796 @param parent reference to the parent widget |
797 @type QWidget |
797 @type QWidget |
798 """ |
798 """ |
799 super(PluginRepositoryDialog, self).__init__(parent) |
799 super().__init__(parent) |
800 self.setSizeGripEnabled(True) |
800 self.setSizeGripEnabled(True) |
801 |
801 |
802 self.__layout = QVBoxLayout(self) |
802 self.__layout = QVBoxLayout(self) |
803 self.__layout.setContentsMargins(0, 0, 0, 0) |
803 self.__layout.setContentsMargins(0, 0, 0, 0) |
804 self.setLayout(self.__layout) |
804 self.setLayout(self.__layout) |
836 """ |
836 """ |
837 Constructor |
837 Constructor |
838 |
838 |
839 @param parent reference to the parent widget (QWidget) |
839 @param parent reference to the parent widget (QWidget) |
840 """ |
840 """ |
841 super(PluginRepositoryWindow, self).__init__(parent) |
841 super().__init__(parent) |
842 self.cw = PluginRepositoryWidget(None, self) |
842 self.cw = PluginRepositoryWidget(None, self) |
843 size = self.cw.size() |
843 size = self.cw.size() |
844 self.setCentralWidget(self.cw) |
844 self.setCentralWidget(self.cw) |
845 self.resize(size) |
845 self.resize(size) |
846 self.setWindowTitle(self.cw.windowTitle()) |
846 self.setWindowTitle(self.cw.windowTitle()) |