--- a/UI/Previewer.py Fri Nov 01 15:48:48 2013 +0100 +++ b/UI/Previewer.py Sun Nov 03 15:58:22 2013 +0100 @@ -229,10 +229,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( @@ -513,7 +513,7 @@ # version 2.0 supports only extension names, not instances if markdown.version_info[0] > 2 or \ - (markdown.version_info[0] == 2 and + (markdown.version_info[0] == 2 and markdown.version_info[1] > 0): class _StrikeThroughExtension(markdown.Extension): """