UI/Previewer.py

changeset 3039
8dd0165d805d
parent 3034
7ce719013078
child 3060
5883ce99ee12
child 3160
209a07d7e401
diff -r 7fe9a53280bd -r 8dd0165d805d UI/Previewer.py
--- a/UI/Previewer.py	Sat Oct 19 16:51:12 2013 +0200
+++ b/UI/Previewer.py	Sat Oct 19 17:42:18 2013 +0200
@@ -227,10 +227,10 @@
                editor.getLanguage() == "HTML":
                 language = "HTML"
             elif extension in \
-                Preferences.getEditor("PreviewMarkdownFileNameExtensions"):
+                    Preferences.getEditor("PreviewMarkdownFileNameExtensions"):
                 language = "Markdown"
             elif extension in \
-                Preferences.getEditor("PreviewRestFileNameExtensions"):
+                    Preferences.getEditor("PreviewRestFileNameExtensions"):
                 language = "ReST"
             else:
                 self.__setHtml(fn, self.trUtf8(

eric ide

mercurial