font-patcher: Invent name base "Nerd Font Propo"

[why]
We have three ways to create a patched font
- 'normal' (i.e. monospaced oversized symbols): Nerd Font
- 'mono' (i.e. strictly monospaced small symbols): Nerd Font Mono
- 'proportional' (i.e. proportional symbols): Nerd Font Propo

The first two variants have a name, the third one has no name, it is
also called 'Nerd Font' (and it was THE font, for v2.1.0 (only)).

[how]
Invent and set new name, so that all variants have different names.
Makes refering to them explicit.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
This commit is contained in:
Fini Jastrow 2022-12-21 21:41:48 +01:00
parent 80f602e805
commit 0b6f63e4df

View file

@ -529,6 +529,9 @@ class font_patcher:
if self.args.single:
additionalFontNameSuffix = " M" + additionalFontNameSuffix
verboseAdditionalFontNameSuffix = " Mono" + verboseAdditionalFontNameSuffix
elif self.args.nonmono:
additionalFontNameSuffix = " P" + additionalFontNameSuffix
verboseAdditionalFontNameSuffix = " Propo" + verboseAdditionalFontNameSuffix
# add 'Nerd Font' to beginning of name suffix
verboseAdditionalFontNameSuffix = " " + projectNameSingular + verboseAdditionalFontNameSuffix
@ -714,6 +717,11 @@ class font_patcher:
fam_suffix += 'M'
else:
fam_suffix += ' Mono'
elif self.args.nonmono:
if self.args.windows:
fam_suffix += 'P'
else:
fam_suffix += ' Propo'
n.inject_suffix(verboseAdditionalFontNameSuffix, additionalFontNameSuffix, fam_suffix)
n.rename_font(font)