diff -r b30e4fd161b8 -r b072a364dd8d eric6/Preferences/ConfigurationPages/EditorFilePage.py
--- a/eric6/Preferences/ConfigurationPages/EditorFilePage.py Wed Oct 23 19:48:42 2019 +0200
+++ b/eric6/Preferences/ConfigurationPages/EditorFilePage.py Wed Oct 23 19:57:12 2019 +0200
@@ -88,26 +88,31 @@
self.previewHtmlExtensionsEdit.setText(
" ".join(Preferences.getEditor("PreviewHtmlFileNameExtensions")))
+
self.previewMarkdownExtensionsEdit.setText(
" ".join(
Preferences.getEditor("PreviewMarkdownFileNameExtensions")))
- self.previewRestExtensionsEdit.setText(
- " ".join(Preferences.getEditor("PreviewRestFileNameExtensions")))
- self.previewQssExtensionsEdit.setText(
- " ".join(Preferences.getEditor("PreviewQssFileNameExtensions")))
self.previewRestSphinxCheckBox.setChecked(
Preferences.getEditor("PreviewRestUseSphinx"))
self.previewMarkdownNLtoBreakCheckBox.setChecked(
Preferences.getEditor("PreviewMarkdownNLtoBR"))
self.previewMarkdownPyMdownCheckBox.setChecked(
Preferences.getEditor("PreviewMarkdownUsePyMdownExtensions"))
+ self.previewMarkdownMathJaxCheckBox.setChecked(
+ Preferences.getEditor("PreviewMarkdownMathJax"))
index = self.previewMarkdownHTMLFormatComboBox.findText(
Preferences.getEditor("PreviewMarkdownHTMLFormat"))
self.previewMarkdownHTMLFormatComboBox.setCurrentIndex(index)
+
+ self.previewRestExtensionsEdit.setText(
+ " ".join(Preferences.getEditor("PreviewRestFileNameExtensions")))
index = self.previewRestDocutilsHTMLFormatComboBox.findText(
Preferences.getEditor("PreviewRestDocutilsHTMLFormat"))
self.previewRestDocutilsHTMLFormatComboBox.setCurrentIndex(index)
+ self.previewQssExtensionsEdit.setText(
+ " ".join(Preferences.getEditor("PreviewQssFileNameExtensions")))
+
def save(self):
"""
Public slot to save the Editor File Handling configuration.
@@ -165,19 +170,12 @@
"PreviewHtmlFileNameExtensions",
[ext.strip() for ext in
self.previewHtmlExtensionsEdit.text().split()])
+
Preferences.setEditor(
"PreviewMarkdownFileNameExtensions",
[ext.strip() for ext in
self.previewMarkdownExtensionsEdit.text().split()])
Preferences.setEditor(
- "PreviewRestFileNameExtensions",
- [ext.strip() for ext in
- self.previewRestExtensionsEdit.text().split()])
- Preferences.setEditor(
- "PreviewQssFileNameExtensions",
- [ext.strip() for ext in
- self.previewQssExtensionsEdit.text().split()])
- Preferences.setEditor(
"PreviewRestUseSphinx",
self.previewRestSphinxCheckBox.isChecked())
Preferences.setEditor(
@@ -187,11 +185,24 @@
"PreviewMarkdownUsePyMdownExtensions",
self.previewMarkdownPyMdownCheckBox.isChecked())
Preferences.setEditor(
+ "PreviewMarkdownMathJax",
+ self.previewMarkdownMathJaxCheckBox.isChecked())
+ Preferences.setEditor(
"PreviewMarkdownHTMLFormat",
self.previewMarkdownHTMLFormatComboBox.currentText())
+
+ Preferences.setEditor(
+ "PreviewRestFileNameExtensions",
+ [ext.strip() for ext in
+ self.previewRestExtensionsEdit.text().split()])
Preferences.setEditor(
"PreviewRestDocutilsHTMLFormat",
self.previewRestDocutilsHTMLFormatComboBox.currentText())
+
+ Preferences.setEditor(
+ "PreviewQssFileNameExtensions",
+ [ext.strip() for ext in
+ self.previewQssExtensionsEdit.text().split()])
def __setDefaultFiltersLists(self, keepSelection=False):
"""
