From 3335344261baf578872441242affd5375d9e4019 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Thu, 9 Jul 2020 11:39:43 +0200 Subject: [PATCH] Provide option to prevent unnecessary font loading. If an OSF font is an alternative to a non-OSF one, only load the OSFFont if osf is requested. --- lib/latexfonts | 6 ++++++ src/LaTeXFonts.cpp | 32 ++++++++++++++++++++------------ src/LaTeXFonts.h | 9 +++++++-- 3 files changed, 33 insertions(+), 14 deletions(-) diff --git a/lib/latexfonts b/lib/latexfonts index 784ed3378f..eaf9e4c317 100644 --- a/lib/latexfonts +++ b/lib/latexfonts @@ -19,6 +19,7 @@ # OsfOption