diff -r 17c01303a239 -r 67064c71df21 Preferences/ConfigurationPages/ProjectBrowserPage.py --- a/Preferences/ConfigurationPages/ProjectBrowserPage.py Tue Oct 15 19:13:32 2013 +0200 +++ b/Preferences/ConfigurationPages/ProjectBrowserPage.py Wed Oct 16 15:16:54 2013 +0200 @@ -44,7 +44,8 @@ except KeyError: self.pbGroup.setEnabled(False) - self.initColour("Highlighted", self.pbHighlightedButton, + self.initColour( + "Highlighted", self.pbHighlightedButton, Preferences.getProjectBrowserColour) self.followEditorCheckBox.setChecked( @@ -62,13 +63,17 @@ """ self.saveColours(Preferences.setProjectBrowserColour) - Preferences.setProject("FollowEditor", + Preferences.setProject( + "FollowEditor", self.followEditorCheckBox.isChecked()) - Preferences.setProject("FollowCursorLine", + Preferences.setProject( + "FollowCursorLine", self.followCursorLineCheckBox.isChecked()) - Preferences.setProject("AutoPopulateItems", + Preferences.setProject( + "AutoPopulateItems", self.autoPopulateCheckBox.isChecked()) - Preferences.setProject("HideGeneratedForms", + Preferences.setProject( + "HideGeneratedForms", self.hideGeneratedCheckBox.isChecked()) if self.pbGroup.isEnabled():