Mercurial Repositories > eric / file comparison
comparison: eric6/Preferences/ConfigurationPages/EditorFilePage.py
eric6/Preferences/ConfigurationPages/EditorFilePage.py
- changeset 7318
- 5d39cd2d7960
- parent 7309
- 5a434813eef3
- child 7319
- 49ea50a9a61e
equal
deleted
inserted
replaced
| 7317:cada9fd4ad3a | 7318:5d39cd2d7960 |
|---|---|
| 84 elif eolMode == QsciScintilla.EolMac: | 84 elif eolMode == QsciScintilla.EolMac: |
| 85 self.crRadioButton.setChecked(True) | 85 self.crRadioButton.setChecked(True) |
| 86 elif eolMode == QsciScintilla.EolUnix: | 86 elif eolMode == QsciScintilla.EolUnix: |
| 87 self.lfRadioButton.setChecked(True) | 87 self.lfRadioButton.setChecked(True) |
| 88 | 88 |
| 89 self.previewRefreshTimeoutSpinBox.setValue( | |
| 90 Preferences.getEditor("PreviewRefreshWaitTimer")) | |
| 91 | |
| 89 self.previewHtmlExtensionsEdit.setText( | 92 self.previewHtmlExtensionsEdit.setText( |
| 90 " ".join(Preferences.getEditor("PreviewHtmlFileNameExtensions"))) | 93 " ".join(Preferences.getEditor("PreviewHtmlFileNameExtensions"))) |
| 91 | 94 |
| 92 self.previewMarkdownExtensionsEdit.setText( | 95 self.previewMarkdownExtensionsEdit.setText( |
| 93 " ".join( | 96 " ".join( |
| 167 self.__extractFileFilters() | 170 self.__extractFileFilters() |
| 168 Preferences.setEditor("AdditionalOpenFilters", self.openFileFilters) | 171 Preferences.setEditor("AdditionalOpenFilters", self.openFileFilters) |
| 169 Preferences.setEditor("AdditionalSaveFilters", self.saveFileFilters) | 172 Preferences.setEditor("AdditionalSaveFilters", self.saveFileFilters) |
| 170 | 173 |
| 171 Preferences.setEditor( | 174 Preferences.setEditor( |
| 175 "PreviewRefreshWaitTimer", | |
| 176 self.previewRefreshTimeoutSpinBox.value()) | |
| 177 | |
| 178 Preferences.setEditor( | |
| 172 "PreviewHtmlFileNameExtensions", | 179 "PreviewHtmlFileNameExtensions", |
| 173 [ext.strip() for ext in | 180 [ext.strip() for ext in |
| 174 self.previewHtmlExtensionsEdit.text().split()]) | 181 self.previewHtmlExtensionsEdit.text().split()]) |
| 175 | 182 |
| 176 Preferences.setEditor( | 183 Preferences.setEditor( |
