From e323020508274d7fcec2ae8a907049a8da171852 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Thu, 18 Jul 2019 18:49:42 +0200 Subject: [PATCH] latexfonts: more minor fixes --- lib/latexfonts | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/lib/latexfonts b/lib/latexfonts index 11dfc5e659..c62fc3df31 100644 --- a/lib/latexfonts +++ b/lib/latexfonts @@ -510,17 +510,10 @@ AltFont pplj EndFont Font PTSerif-TLF - GuiName "ParaType Serif" + GuiName "PT Serif" Family rm Requires paratype Package PTSerif - CompleteFont paratype -EndFont - -AltFont paratype - GuiName "ParaType Serif" - Family rm - Package paratype EndFont Font times @@ -746,7 +739,7 @@ Font DejaVuSans EndFont Font DejaVuSansCondensed - GuiName "DejaVu Sans Condensed" + GuiName "DejaVu Sans (Condensed)" Family sf Package DejaVuSansCondensed ScaleOption scaled=$$val @@ -1002,7 +995,7 @@ Font NotoSansExtralight EndFont Font PTSans-TLF - GuiName "ParaType Sans" + GuiName "PT Sans" Family sf ScaleOption scaled=$$val Requires paratype @@ -1162,7 +1155,7 @@ Font NotoMonoRegular EndFont Font PTMono-TLF - GuiName "ParaType Mono" + GuiName "PT Mono" Family tt ScaleOption scaled=$$val Requires paratype -- 2.39.5