78 Public slot to save the Editor General configuration. |
78 Public slot to save the Editor General configuration. |
79 """ |
79 """ |
80 Preferences.setEditor("AutosaveInterval", |
80 Preferences.setEditor("AutosaveInterval", |
81 self.autosaveSlider.value()) |
81 self.autosaveSlider.value()) |
82 Preferences.setEditor("CreateBackupFile", |
82 Preferences.setEditor("CreateBackupFile", |
83 int(self.createBackupFileCheckBox.isChecked())) |
83 self.createBackupFileCheckBox.isChecked()) |
84 Preferences.setEditor("AutoCheckSyntax", |
84 Preferences.setEditor("AutoCheckSyntax", |
85 int(self.automaticSyntaxCheckCheckBox.isChecked())) |
85 self.automaticSyntaxCheckCheckBox.isChecked()) |
86 enc = 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 self.advEncodingCheckBox.isChecked()) |
92 Preferences.setEditor("WarnFilesize", |
92 Preferences.setEditor("WarnFilesize", |
93 self.warnFilesizeSpinBox.value()) |
93 self.warnFilesizeSpinBox.value()) |
94 Preferences.setEditor("ClearBreaksOnClose", |
94 Preferences.setEditor("ClearBreaksOnClose", |
95 int(self.clearBreakpointsCheckBox.isChecked())) |
95 self.clearBreakpointsCheckBox.isChecked()) |
96 Preferences.setEditor("AutoReopen", |
96 Preferences.setEditor("AutoReopen", |
97 int(self.automaticReopenCheckBox.isChecked())) |
97 self.automaticReopenCheckBox.isChecked()) |
98 Preferences.setEditor("StripTrailingWhitespace", |
98 Preferences.setEditor("StripTrailingWhitespace", |
99 int(self.stripWhitespaceCheckBox.isChecked())) |
99 self.stripWhitespaceCheckBox.isChecked()) |
100 Preferences.setEditor("DefaultOpenFilter", |
100 Preferences.setEditor("DefaultOpenFilter", |
101 self.openFilesFilterComboBox.currentText()) |
101 self.openFilesFilterComboBox.currentText()) |
102 Preferences.setEditor("DefaultSaveFilter", |
102 Preferences.setEditor("DefaultSaveFilter", |
103 self.saveFilesFilterComboBox.currentText()) |
103 self.saveFilesFilterComboBox.currentText()) |
104 Preferences.setEditor("AutomaticEOLConversion", |
104 Preferences.setEditor("AutomaticEOLConversion", |
105 int(self.automaticEolConversionCheckBox.isChecked())) |
105 self.automaticEolConversionCheckBox.isChecked()) |
106 |
106 |
107 if self.crlfRadioButton.isChecked(): |
107 if self.crlfRadioButton.isChecked(): |
108 Preferences.setEditor("EOLMode", QsciScintilla.EolWindows) |
108 Preferences.setEditor("EOLMode", QsciScintilla.EolWindows) |
109 elif self.crRadioButton.isChecked(): |
109 elif self.crRadioButton.isChecked(): |
110 Preferences.setEditor("EOLMode", QsciScintilla.EolMac) |
110 Preferences.setEditor("EOLMode", QsciScintilla.EolMac) |