return success
+def fix_latex_file(latex_file):
+ documentclass_re = re.compile("(\\\\documentclass\[)(1[012]pt)(.)(.+)")
+
+ tmp = mkstemp()
+
+ changed = 0
+ for line in open(latex_file, 'r').readlines():
+ match = documentclass_re.match(line)
+ if match == None:
+ tmp.write(line)
+ continue
+
+ changed = 1
+ tmp.write("%s%s%s\n" % (match.group(1), match.group(3), match.group(4)))
+
+ if changed:
+ copyfileobj(tmp, open(latex_file,"wb"), 1)
+
+ return
+
+
def convert_to_ppm_format(pngtopnm, basename):
png_file_re = re.compile("\.png$")
lilypond_book = find_exe_or_terminate(["lilypond-book"], path)
+ # Omit font size specification in latex file.
+ fix_latex_file(latex_file)
+
# Make a copy of the latex file
lytex_file = latex_file_re.sub(".lytex", latex_file)
shutil.copyfile(latex_file, lytex_file)
return success
+def fix_latex_file(latex_file):
+ documentclass_re = re.compile("(\\\\documentclass\[)(1[012]pt)(.)(.+)")
+
+ tmp = mkstemp()
+
+ changed = 0
+ for line in open(latex_file, 'r').readlines():
+ match = documentclass_re.match(line)
+ if match == None:
+ tmp.write(line)
+ continue
+
+ changed = 1
+ tmp.write("%s%s%s\n" % (match.group(1), match.group(3), match.group(4)))
+
+ if changed:
+ copyfileobj(tmp, open(latex_file,"wb"), 1)
+
+ return
+
+
def convert_to_ppm_format(pngtopnm, basename):
png_file_re = re.compile("\.png$")
else:
latex = find_exe_or_terminate(["latex", "pplatex", "platex", "latex2e"], path)
+ # Omit font size specification in latex file.
+ fix_latex_file(latex_file)
+
# This can go once dvipng becomes widespread.
dvipng = find_exe(["dvipng"], path)
if dvipng == None:
- Correct erroneous report of duplicate labels when dissolving insets (#7319).
+- Make size of characters in instant preview snippets independent of the
+ LaTeX font size (bug 2200).
+
* DOCUMENTATION AND LOCALIZATION