From: Juergen Spitzmueller Date: Thu, 18 Jul 2019 16:49:42 +0000 (+0200) Subject: latexfonts: more minor fixes X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=e323020508274d7fcec2ae8a907049a8da171852;p=features.git latexfonts: more minor fixes --- 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