Preferences/ConfigurationPages/EditorFilePage.py

changeset 7
c679fb30c8f3
parent 6
52e8c820d0dd
child 12
1d8dd9706f46
--- a/Preferences/ConfigurationPages/EditorFilePage.py	Mon Dec 28 18:31:37 2009 +0000
+++ b/Preferences/ConfigurationPages/EditorFilePage.py	Wed Dec 30 15:40:33 2009 +0000
@@ -80,29 +80,29 @@
         Preferences.setEditor("AutosaveInterval", 
             self.autosaveSlider.value())
         Preferences.setEditor("CreateBackupFile",
-            int(self.createBackupFileCheckBox.isChecked()))
+            self.createBackupFileCheckBox.isChecked())
         Preferences.setEditor("AutoCheckSyntax",
-            int(self.automaticSyntaxCheckCheckBox.isChecked()))
+            self.automaticSyntaxCheckCheckBox.isChecked())
         enc = self.defaultEncodingComboBox.currentText()
         if not enc:
             enc = "utf-8"
         Preferences.setEditor("DefaultEncoding", enc)
         Preferences.setEditor("AdvancedEncodingDetection", 
-            int(self.advEncodingCheckBox.isChecked()))
+            self.advEncodingCheckBox.isChecked())
         Preferences.setEditor("WarnFilesize",
             self.warnFilesizeSpinBox.value())
         Preferences.setEditor("ClearBreaksOnClose",
-            int(self.clearBreakpointsCheckBox.isChecked()))
+            self.clearBreakpointsCheckBox.isChecked())
         Preferences.setEditor("AutoReopen",
-            int(self.automaticReopenCheckBox.isChecked()))
+            self.automaticReopenCheckBox.isChecked())
         Preferences.setEditor("StripTrailingWhitespace", 
-            int(self.stripWhitespaceCheckBox.isChecked()))
+            self.stripWhitespaceCheckBox.isChecked())
         Preferences.setEditor("DefaultOpenFilter",
             self.openFilesFilterComboBox.currentText())
         Preferences.setEditor("DefaultSaveFilter",
             self.saveFilesFilterComboBox.currentText())
         Preferences.setEditor("AutomaticEOLConversion",
-            int(self.automaticEolConversionCheckBox.isChecked()))
+            self.automaticEolConversionCheckBox.isChecked())
         
         if self.crlfRadioButton.isChecked():
             Preferences.setEditor("EOLMode", QsciScintilla.EolWindows)

eric ide

mercurial