Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorFilePage.py
Preferences/ConfigurationPages/EditorFilePage.py
- changeset 3025
- 67064c71df21
- parent 3020
- 542e97d4ecb3
- child 3034
- 7ce719013078
- child 3058
- 0a02c433f52d
equal
deleted
inserted
replaced
| 3024:17c01303a239 | 3025:67064c71df21 |
|---|---|
| 88 | 88 |
| 89 def save(self): | 89 def save(self): |
| 90 """ | 90 """ |
| 91 Public slot to save the Editor File Handling configuration. | 91 Public slot to save the Editor File Handling configuration. |
| 92 """ | 92 """ |
| 93 Preferences.setEditor("AutosaveInterval", | 93 Preferences.setEditor( |
| 94 "AutosaveInterval", | |
| 94 self.autosaveSlider.value()) | 95 self.autosaveSlider.value()) |
| 95 Preferences.setEditor("CreateBackupFile", | 96 Preferences.setEditor( |
| 97 "CreateBackupFile", | |
| 96 self.createBackupFileCheckBox.isChecked()) | 98 self.createBackupFileCheckBox.isChecked()) |
| 97 enc = self.defaultEncodingComboBox.currentText() | 99 enc = self.defaultEncodingComboBox.currentText() |
| 98 if not enc: | 100 if not enc: |
| 99 enc = "utf-8" | 101 enc = "utf-8" |
| 100 Preferences.setEditor("DefaultEncoding", enc) | 102 Preferences.setEditor("DefaultEncoding", enc) |
| 101 Preferences.setEditor("AdvancedEncodingDetection", | 103 Preferences.setEditor( |
| 104 "AdvancedEncodingDetection", | |
| 102 self.advEncodingCheckBox.isChecked()) | 105 self.advEncodingCheckBox.isChecked()) |
| 103 Preferences.setEditor("WarnFilesize", | 106 Preferences.setEditor( |
| 107 "WarnFilesize", | |
| 104 self.warnFilesizeSpinBox.value()) | 108 self.warnFilesizeSpinBox.value()) |
| 105 Preferences.setEditor("ClearBreaksOnClose", | 109 Preferences.setEditor( |
| 110 "ClearBreaksOnClose", | |
| 106 self.clearBreakpointsCheckBox.isChecked()) | 111 self.clearBreakpointsCheckBox.isChecked()) |
| 107 Preferences.setEditor("AutoReopen", | 112 Preferences.setEditor( |
| 113 "AutoReopen", | |
| 108 self.automaticReopenCheckBox.isChecked()) | 114 self.automaticReopenCheckBox.isChecked()) |
| 109 Preferences.setEditor("StripTrailingWhitespace", | 115 Preferences.setEditor( |
| 116 "StripTrailingWhitespace", | |
| 110 self.stripWhitespaceCheckBox.isChecked()) | 117 self.stripWhitespaceCheckBox.isChecked()) |
| 111 Preferences.setEditor("DefaultOpenFilter", | 118 Preferences.setEditor( |
| 119 "DefaultOpenFilter", | |
| 112 self.openFilesFilterComboBox.currentText()) | 120 self.openFilesFilterComboBox.currentText()) |
| 113 Preferences.setEditor("DefaultSaveFilter", | 121 Preferences.setEditor( |
| 122 "DefaultSaveFilter", | |
| 114 self.saveFilesFilterComboBox.currentText()) | 123 self.saveFilesFilterComboBox.currentText()) |
| 115 Preferences.setEditor("AutomaticEOLConversion", | 124 Preferences.setEditor( |
| 125 "AutomaticEOLConversion", | |
| 116 self.automaticEolConversionCheckBox.isChecked()) | 126 self.automaticEolConversionCheckBox.isChecked()) |
| 117 | 127 |
| 118 if self.crlfRadioButton.isChecked(): | 128 if self.crlfRadioButton.isChecked(): |
| 119 Preferences.setEditor("EOLMode", QsciScintilla.EolWindows) | 129 Preferences.setEditor("EOLMode", QsciScintilla.EolWindows) |
| 120 elif self.crRadioButton.isChecked(): | 130 elif self.crRadioButton.isChecked(): |
| 124 | 134 |
| 125 self.__extractFileFilters() | 135 self.__extractFileFilters() |
| 126 Preferences.setEditor("AdditionalOpenFilters", self.openFileFilters) | 136 Preferences.setEditor("AdditionalOpenFilters", self.openFileFilters) |
| 127 Preferences.setEditor("AdditionalSaveFilters", self.saveFileFilters) | 137 Preferences.setEditor("AdditionalSaveFilters", self.saveFileFilters) |
| 128 | 138 |
| 129 Preferences.setEditor("PreviewHtmlFileNameExtensions", | 139 Preferences.setEditor( |
| 140 "PreviewHtmlFileNameExtensions", | |
| 130 [ext.strip() for ext in | 141 [ext.strip() for ext in |
| 131 self.previewHtmlExtensionsEdit.text().split()]) | 142 self.previewHtmlExtensionsEdit.text().split()]) |
| 132 Preferences.setEditor("PreviewMarkdownFileNameExtensions", | 143 Preferences.setEditor( |
| 144 "PreviewMarkdownFileNameExtensions", | |
| 133 [ext.strip() for ext in | 145 [ext.strip() for ext in |
| 134 self.previewMarkdownExtensionsEdit.text().split()]) | 146 self.previewMarkdownExtensionsEdit.text().split()]) |
| 135 Preferences.setEditor("PreviewRestFileNameExtensions", | 147 Preferences.setEditor( |
| 148 "PreviewRestFileNameExtensions", | |
| 136 [ext.strip() for ext in | 149 [ext.strip() for ext in |
| 137 self.previewRestExtensionsEdit.text().split()]) | 150 self.previewRestExtensionsEdit.text().split()]) |
| 138 | 151 |
| 139 def __setDefaultFiltersLists(self, keepSelection=False): | 152 def __setDefaultFiltersLists(self, keepSelection=False): |
| 140 """ | 153 """ |
