commit be3f628e7d7a2f22b60d7713237e555ff8367428
Author: Enrico Forestieri <[email protected]>
Date: Mon Mar 20 15:08:17 2017 +0100
Also account for development versions
---
lib/lyx2lyx/lyx_2_3.py | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/lib/lyx2lyx/lyx_2_3.py b/lib/lyx2lyx/lyx_2_3.py
index 09b1c63..cdbaefb 100644
--- a/lib/lyx2lyx/lyx_2_3.py
+++ b/lib/lyx2lyx/lyx_2_3.py
@@ -1847,7 +1847,7 @@ def convert_dashligatures(document):
i = find_token(document.header, "\\use_microtype", 0)
if i != -1:
- if document.start == 508:
+ if document.start > 474 and document.start < 509:
# This was created by LyX 2.2
document.header[i+1:i+1] = ["\\use_dash_ligatures false"]
else:
