From 713fd70e8fdca800e74e256979e2a86ab522d099 Mon Sep 17 00:00:00 2001 From: Scott Kostyshak Date: Tue, 26 Dec 2017 02:03:06 -0500 Subject: [PATCH] Fix Python escaping of unicode string MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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). --- lib/lyx2lyx/lyx_2_3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/lyx2lyx/lyx_2_3.py b/lib/lyx2lyx/lyx_2_3.py index d0481ae8ff..140f57fb36 100644 --- a/lib/lyx2lyx/lyx_2_3.py +++ b/lib/lyx2lyx/lyx_2_3.py @@ -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