225 if extension in \ |
225 if extension in \ |
226 Preferences.getEditor("PreviewHtmlFileNameExtensions") or \ |
226 Preferences.getEditor("PreviewHtmlFileNameExtensions") or \ |
227 editor.getLanguage() == "HTML": |
227 editor.getLanguage() == "HTML": |
228 language = "HTML" |
228 language = "HTML" |
229 elif extension in \ |
229 elif extension in \ |
230 Preferences.getEditor("PreviewMarkdownFileNameExtensions"): |
230 Preferences.getEditor("PreviewMarkdownFileNameExtensions"): |
231 language = "Markdown" |
231 language = "Markdown" |
232 elif extension in \ |
232 elif extension in \ |
233 Preferences.getEditor("PreviewRestFileNameExtensions"): |
233 Preferences.getEditor("PreviewRestFileNameExtensions"): |
234 language = "ReST" |
234 language = "ReST" |
235 else: |
235 else: |
236 self.__setHtml(fn, self.trUtf8( |
236 self.__setHtml(fn, self.trUtf8( |
237 "<p>No preview available for this type of file.</p>")) |
237 "<p>No preview available for this type of file.</p>")) |
238 return |
238 return |