From b98c2a1921bcf5a0c510e6e709ec36b73d7714ec Mon Sep 17 00:00:00 2001 From: Fini Jastrow Date: Sun, 15 Jan 2023 17:39:43 +0100 Subject: [PATCH] Fix JetBrains Mono Family names [why] The JetBrains Mono font has a lot of different families. A lot users install just all "JetBrainsMono Nerd Font" families, and this can break in a lot different ways. [how] Just turn the feature on in font-patcher (via patch-em-all's config). Fixes: #542 Signed-off-by: Fini Jastrow --- src/unpatched-fonts/JetBrainsMono/config.cfg | 1 + 1 file changed, 1 insertion(+) create mode 100755 src/unpatched-fonts/JetBrainsMono/config.cfg diff --git a/src/unpatched-fonts/JetBrainsMono/config.cfg b/src/unpatched-fonts/JetBrainsMono/config.cfg new file mode 100755 index 000000000..6375dadbb --- /dev/null +++ b/src/unpatched-fonts/JetBrainsMono/config.cfg @@ -0,0 +1 @@ +config_patch_flags="--makegroups"