PluginManager/PluginRepositoryDialog.py

changeset 3189
9a21c547de5f
parent 3160
209a07d7e401
child 3190
a9a94491c4fd
--- a/PluginManager/PluginRepositoryDialog.py	Wed Jan 08 19:13:46 2014 +0100
+++ b/PluginManager/PluginRepositoryDialog.py	Fri Jan 10 19:30:21 2014 +0100
@@ -573,6 +573,7 @@
         size = self.cw.size()
         self.__layout.addWidget(self.cw)
         self.resize(size)
+        self.setWindowTitle(self.cw.windowTitle())
         
         self.cw.buttonBox.accepted[()].connect(self.accept)
         self.cw.buttonBox.rejected[()].connect(self.reject)
@@ -608,6 +609,7 @@
         size = self.cw.size()
         self.setCentralWidget(self.cw)
         self.resize(size)
+        self.setWindowTitle(self.cw.windowTitle())
         
         self.setStyle(Preferences.getUI("Style"),
                       Preferences.getUI("StyleSheet"))

eric ide

mercurial