--- a/src/eric7/EricGui/EricGenericDiffHighlighter.py Sun Dec 31 17:44:59 2023 +0100 +++ b/src/eric7/EricGui/EricGenericDiffHighlighter.py Sun Dec 31 18:01:05 2023 +0100 @@ -19,9 +19,9 @@ Function to mark a pattern as the final one to search for. @param pattern pattern to be marked - @type str + @type str @return marked pattern - @rtype str + @rtype str """ return "__TERMINAL__:{0}".format(pattern)