Preferences/ConfigurationDialog.py

branch
6_1_x
changeset 4657
ce42b7df7fc8
parent 4632
ca310db386ed
child 4849
4eb0fba3b6c5
diff -r cf9cb65c30dc -r ce42b7df7fc8 Preferences/ConfigurationDialog.py
--- a/Preferences/ConfigurationDialog.py	Sat Jan 09 17:19:05 2016 +0100
+++ b/Preferences/ConfigurationDialog.py	Mon Jan 11 17:00:56 2016 +0100
@@ -752,6 +752,7 @@
             self.preferencesChanged.emit()
             if savedState is not None:
                 page.setState(savedState)
+            page.polishPage()
         
     @pyqtSlot()
     def on_resetButton_clicked(self):

eric ide

mercurial