Mercurial Repositories > eric / file diff

diff -r 59d99092a4de -r 307b09aae43b Preferences/ConfigurationPages/EditorFilePage.py
--- a/Preferences/ConfigurationPages/EditorFilePage.py	Sat Dec 20 19:16:41 2014 +0100
+++ b/Preferences/ConfigurationPages/EditorFilePage.py	Sun Dec 21 15:36:59 2014 +0100
@@ -89,6 +89,8 @@
             " ".join(Preferences.getEditor("PreviewRestFileNameExtensions")))
         self.previewQssExtensionsEdit.setText(
             " ".join(Preferences.getEditor("PreviewQssFileNameExtensions")))
+        self.previewRestSphinxCheckBox.setChecked(
+            Preferences.getEditor("PreviewRestUseSphinx"))
         
     def save(self):
         """
@@ -156,6 +158,9 @@
             "PreviewQssFileNameExtensions",
             [ext.strip() for ext in
              self.previewQssExtensionsEdit.text().split()])
+        Preferences.setEditor(
+            "PreviewRestUseSphinx",
+            self.previewRestSphinxCheckBox.isChecked())
     
     def __setDefaultFiltersLists(self, keepSelection=False):
         """