From f1dc79948dd0262f0841d870bd98f0cfae800d31 Mon Sep 17 00:00:00 2001 From: Fini Jastrow Date: Wed, 13 Nov 2024 18:16:00 +0100 Subject: [PATCH] Devicons: Fix scaling of some few glyphs [why] Some glyphs in the (patched) E7B0-E7CF region seem to be too big. [how] The codepoints in the symbol font are 0x0100 less. These are the "small things" that had a specific scale rule, which is not needed anymore after we dropped these small icons and filled those codepoints with new and bigger icons. Signed-off-by: Fini Jastrow --- font-patcher | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/font-patcher b/font-patcher index f5776b4d63..7cd08de700 100755 --- a/font-patcher +++ b/font-patcher @@ -1032,10 +1032,7 @@ class font_patcher: [*range(0xeb89, 0xeb8b + 1), 0xec07], # smallish dots range(0xebd5, 0xebd7 + 1), # compasses ]} - DEVI_SCALE_LIST = {'ScaleGlyph': 0xE60E, # Android logo - 'GlyphsToScale': [ - (0xe6bd, 0xe6c3) # very small things - ]} + DEVI_SCALE_LIST = None FONTA_SCALE_LIST = {'ScaleGroups': [ [0xf005, 0xf006, 0xf089], # star, star empty, half star range(0xf026, 0xf028 + 1), # volume off, down, up