src/eric7/EricGui/EricGenericDiffHighlighter.py

branch
eric7
changeset 10458
2074b8393649
parent 10439
21c28b0f9e41
child 10922
36a90a94765c
equal deleted inserted replaced
10457:4bef44d7a378 10458:2074b8393649
17 def TERMINAL(pattern): 17 def TERMINAL(pattern):
18 """ 18 """
19 Function to mark a pattern as the final one to search for. 19 Function to mark a pattern as the final one to search for.
20 20
21 @param pattern pattern to be marked 21 @param pattern pattern to be marked
22 @type str 22 @type str
23 @return marked pattern 23 @return marked pattern
24 @rtype str 24 @rtype str
25 """ 25 """
26 return "__TERMINAL__:{0}".format(pattern) 26 return "__TERMINAL__:{0}".format(pattern)
27 27
28 28
29 # Cache the results of re.compile for performance reasons 29 # Cache the results of re.compile for performance reasons

eric ide

mercurial