anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-12-22 05:16:21 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Make preview skript Python-3 compatible.

Browse Source
This commit is contained in:
Günter Milde 2019-09-04 22:18:03 +02:00
parent 726ac31895
commit cec04267b2
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
lib/scripts/lyxpreview_tools.py
View File

@ -219,16 +219,16 @@ def write_metrics_info(metrics_info, metrics_file):
# Reads a .tex files and create an identical file but only with
# pages whose index is in pages_to_keep
def filter_pages(source_path, destination_path, pages_to_keep):
def_re = re.compile(r"(\\newcommandx|\\renewcommandx|\\global\\long\\def)(\\[a-zA-Z]+)(.+)")
source_file = open(source_path, "r")
destination_file = open(destination_path, "w")
def_re = re.compile(rb"(\\newcommandx|\\renewcommandx|\\global\\long\\def)(\\[a-zA-Z]+)(.+)")
source_file = open(source_path, "rb")
destination_file = open(destination_path, "wb")
page_index = 0
skip_page = False
macros = []
for line in source_file:
# We found a new page
if line.startswith("\\begin{preview}"):
if line.startswith(b"\\begin{preview}"):
page_index += 1
# If the page index isn't in pages_to_keep we don't copy it
skip_page = page_index not in pages_to_keep
@ -240,12 +240,12 @@ def filter_pages(source_path, destination_path, pages_to_keep):
macroname = match.group(2)
if not macroname in macros:
macros.append(macroname)
if definecmd == "\\renewcommandx":
line = line.replace(definecmd, "\\newcommandx")
if definecmd == b"\\renewcommandx":
line = line.replace(definecmd, b"\\newcommandx")
destination_file.write(line)
# End of a page, we reset the skip_page bool
if line.startswith("\\end{preview}"):
if line.startswith(b"\\end{preview}"):
skip_page = False
destination_file.close()