399 Preferences.getEditor("PreviewRestFileNameExtensions") or \ |
399 Preferences.getEditor("PreviewRestFileNameExtensions") or \ |
400 self.editor.getLanguage().lower() == "restructuredtext": |
400 self.editor.getLanguage().lower() == "restructuredtext": |
401 # export ReST to HTML |
401 # export ReST to HTML |
402 html = self.__generateFromReSTDocutils() |
402 html = self.__generateFromReSTDocutils() |
403 else: |
403 else: |
404 tabSize = Preferences.getEditor("TabWidth") |
404 tabSize = self.editor.getEditorConfig("TabWidth") |
405 if tabSize == 0: |
405 if tabSize == 0: |
406 tabSize = 4 |
406 tabSize = 4 |
407 wysiwyg = Preferences.getEditorExporter("HTML/WYSIWYG") |
407 wysiwyg = Preferences.getEditorExporter("HTML/WYSIWYG") |
408 folding = Preferences.getEditorExporter("HTML/Folding") |
408 folding = Preferences.getEditorExporter("HTML/Folding") |
409 onlyStylesUsed = Preferences.getEditorExporter( |
409 onlyStylesUsed = Preferences.getEditorExporter( |