diff -r 52e8c820d0dd -r c679fb30c8f3 Preferences/ConfigurationPages/VcsPage.py --- a/Preferences/ConfigurationPages/VcsPage.py Mon Dec 28 18:31:37 2009 +0000 +++ b/Preferences/ConfigurationPages/VcsPage.py Wed Dec 30 15:40:33 2009 +0000 @@ -64,17 +64,17 @@ Public slot to save the VCS configuration. """ Preferences.setVCS("AutoClose", - int(self.vcsAutoCloseCheckBox.isChecked())) + self.vcsAutoCloseCheckBox.isChecked()) Preferences.setVCS("AutoSaveFiles", - int(self.vcsAutoSaveCheckBox.isChecked())) + self.vcsAutoSaveCheckBox.isChecked()) Preferences.setVCS("AutoSaveProject", - int(self.vcsAutoSaveProjectCheckBox.isChecked())) + self.vcsAutoSaveProjectCheckBox.isChecked()) Preferences.setVCS("StatusMonitorInterval", self.vcsStatusMonitorIntervalSpinBox.value()) Preferences.setVCS("MonitorLocalStatus", - int(self.vcsMonitorLocalStatusCheckBox.isChecked())) + self.vcsMonitorLocalStatusCheckBox.isChecked()) Preferences.setVCS("AutoUpdate", - int(self.autoUpdateCheckBox.isChecked())) + self.autoUpdateCheckBox.isChecked()) for key in self.projectBrowserColours.keys(): Preferences.setProjectBrowserColour(key, self.projectBrowserColours[key])