]> git.lyx.org Git - features.git/commitdiff
Amend bd6d09fc
authorEnrico Forestieri <forenr@lyx.org>
Sun, 22 Mar 2020 21:03:49 +0000 (22:03 +0100)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 13:48:55 +0000 (15:48 +0200)
Was forgetting this.

lib/scripts/legacy_lyxpreview2ppm.py

index 9b99796e138c1b2e0d351cbf7af01da363282a73..8effd5bd00cfdc5ba2a60992db72c517570f2424 100644 (file)
@@ -111,7 +111,7 @@ def legacy_extract_metrics_info(log_file):
             if match == None:
                 continue
 
-            snippet = (match.group(1) == 'S')
+            snippet = (match.group(1) == b'S')
             success = 1
             match = data_re.search(line)
             if match == None: