--- 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): """