--- a/E5Gui/E5GenericDiffHighlighter.py Mon Feb 09 19:57:45 2015 +0100 +++ b/E5Gui/E5GenericDiffHighlighter.py Tue Feb 10 19:30:11 2015 +0100 @@ -15,18 +15,20 @@ import Preferences + def TERMINAL(pattern): """ Function to mark a pattern as the final one to search for. @param pattern pattern to be marked (string) - @param return marked pattern (string) + @return marked pattern (string) """ return "__TERMINAL__:{0}".format(pattern) # Cache the results of re.compile for performance reasons _REGEX_CACHE = {} + class E5GenericDiffHighlighter(QSyntaxHighlighter): """ Class implementing a generic diff highlighter.