Mercurial Repositories > eric / file diff

--- 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):