Fix cut and paste error

This commit is contained in:
Juergen Spitzmueller 2022-12-09 09:12:23 +01:00
parent e6af50108a
commit c90e656d9d

View File

@ -3061,7 +3061,7 @@ def convert_Semibolds(document):
else: else:
# We need to use this regex since split() does not handle quote protection # We need to use this regex since split() does not handle quote protection
ttopts = re.findall(r'[^"\s]\S*|".+?"', document.header[x]) ttopts = re.findall(r'[^"\s]\S*|".+?"', document.header[x])
document.header[x] = "\\font_typewriter_opts \"semibold, " + sfopts[1].strip('"') + "\"" document.header[x] = "\\font_typewriter_opts \"semibold, " + ttopts[1].strip('"') + "\""
def convert_NotoRegulars(document): def convert_NotoRegulars(document):