Merge "Split long sequences of '-', '+', '=' by zero-width space"

This commit is contained in:
Jenkins 2013-10-16 15:26:03 +00:00 committed by Gerrit Code Review
commit 3c5d93ab92

View File

@ -108,7 +108,7 @@ def unwrap_text(text):
def format_text(s):
s = cgi.escape(re.sub(re.compile('\n{2,}', flags=re.MULTILINE), '\n', s))
s = re.sub(r'([/\/]+)', r'\1​', s)
s = re.sub(r'([/\/\*=]{1,2}|--|\+\+)', r'\1​', s)
return s