Fix Python escaping of unicode string

When removing "r" from "ur", it is needed to add extra backslashes.
See:

  https://www.mail-archive.com/search?l=mid&q=2024193.iXIh6cq6L3%40myth

Thanks to José.

This commit amends b7983478 (and thus 586d16a4).
This commit is contained in:
Scott Kostyshak 2017-12-26 02:03:06 -05:00
parent 61b1a20185
commit 713fd70e8f

View File

@ -1875,7 +1875,7 @@ def convert_dashligatures(document):
flags=re.UNICODE):
has_literal_dashes = True
# ligature dash followed by word or no-break space on next line:
if re.search(u"(\\twohyphens|\\threehyphens)", line,
if re.search(u"(\\\\twohyphens|\\\\threehyphens)", line,
flags=re.UNICODE) and re.match(u"[\w\u00A0]",
document.body[i+1], flags=re.UNICODE):
has_ligature_dashes = True