--- a/Preferences/ConfigurationPages/EditorStylesPage.py Sat May 08 17:38:46 2010 +0200 +++ b/Preferences/ConfigurationPages/EditorStylesPage.py Sat May 08 18:01:31 2010 +0200 @@ -132,6 +132,9 @@ self.initColour("NonmatchingBraceBack", self.nonmatchingBracesBackButton, Preferences.getEditorColour) + self.zoomfactorSlider.setValue( + Preferences.getEditor("ZoomFactor")) + self.whitespaceCheckBox.setChecked(\ Preferences.getEditor("ShowWhitespace")) self.miniMenuCheckBox.setChecked(\ @@ -182,6 +185,9 @@ Preferences.setEditor("BraceHighlighting", self.bracehighlightingCheckBox.isChecked()) + Preferences.setEditor("ZoomFactor", + self.zoomfactorSlider.value()) + Preferences.setEditor("ShowWhitespace", self.whitespaceCheckBox.isChecked()) Preferences.setEditor("MiniContextMenu",