Preferences/ConfigurationDialog.py

changeset 3189
9a21c547de5f
parent 3160
209a07d7e401
child 3190
a9a94491c4fd
--- a/Preferences/ConfigurationDialog.py	Wed Jan 08 19:13:46 2014 +0100
+++ b/Preferences/ConfigurationDialog.py	Fri Jan 10 19:30:21 2014 +0100
@@ -779,6 +779,7 @@
         size = self.cw.size()
         self.layout.addWidget(self.cw)
         self.resize(size)
+        self.setWindowTitle(self.cw.windowTitle())
         
         self.cw.accepted[()].connect(self.accept)
         self.cw.rejected[()].connect(self.reject)
@@ -846,6 +847,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