eric6/PluginManager/PluginRepositoryDialog.py

changeset 8218
7c09585bd960
parent 8143
2c730d5fd177
child 8222
5994b80b8760
equal deleted inserted replaced
8217:385f60c94548 8218:7c09585bd960
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())

eric ide

mercurial