81 self.autosaveSlider.value()) |
81 self.autosaveSlider.value()) |
82 Preferences.setEditor("CreateBackupFile", |
82 Preferences.setEditor("CreateBackupFile", |
83 int(self.createBackupFileCheckBox.isChecked())) |
83 int(self.createBackupFileCheckBox.isChecked())) |
84 Preferences.setEditor("AutoCheckSyntax", |
84 Preferences.setEditor("AutoCheckSyntax", |
85 int(self.automaticSyntaxCheckCheckBox.isChecked())) |
85 int(self.automaticSyntaxCheckCheckBox.isChecked())) |
86 enc = unicode(self.defaultEncodingComboBox.currentText()) |
86 enc = self.defaultEncodingComboBox.currentText() |
87 if not enc: |
87 if not enc: |
88 enc = "utf-8" |
88 enc = "utf-8" |
89 Preferences.setEditor("DefaultEncoding", enc) |
89 Preferences.setEditor("DefaultEncoding", enc) |
90 Preferences.setEditor("AdvancedEncodingDetection", |
90 Preferences.setEditor("AdvancedEncodingDetection", |
91 int(self.advEncodingCheckBox.isChecked())) |
91 int(self.advEncodingCheckBox.isChecked())) |