UI/Previewer.py

changeset 3039
8dd0165d805d
parent 3034
7ce719013078
child 3060
5883ce99ee12
child 3160
209a07d7e401
equal deleted inserted replaced
3038:7fe9a53280bd 3039:8dd0165d805d
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

eric ide

mercurial