From 90738da8c35a4b2f79ec758c52f9c555e26da839 Mon Sep 17 00:00:00 2001 From: Fini Jastrow Date: Tue, 30 May 2023 21:43:20 +0200 Subject: [PATCH] Codicons: Revert to no Scale grouping See PR #1261 for details on the reasons. This mostly reverts commit f84a4a46d font-patcher: Add Codicons scale list Signed-off-by: Fini Jastrow --- font-patcher | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/font-patcher b/font-patcher index cda4308cfd..fcec42d359 100755 --- a/font-patcher +++ b/font-patcher @@ -961,15 +961,9 @@ class font_patcher: range(0x2591, 0x2593 + 1), # greys range(0x2594, 0x259f + 1), # quards (Note: quard 2597 in Hack is wrong, scales like block!) ]} - CODI_SCALE_LIST = {'ScaleGroupsVert': [ - range(0xea99, 0xeaa1 + 1), # arrows + CODI_SCALE_LIST = {'ScaleGroups': [ range(0xeb6e, 0xeb71 + 1), # triangles range(0xeab4, 0xeab7 + 1), # chevrons - [0xea71, *range(0xeaa6, 0xeaab + 1), 0xeabc, 0xeb18, 0xeb87, 0xeb88, 0xeb8a, 0xeb8c, 0xebb4], # small circles and similar - [0xeacc, 0xeaba], # dash - [0xea75, 0xebe7], # lock pair - [0xeacf, 0xebe0], # debug-continue pair - [0xeb91, 0xeba8], # debug-alt pair ]} DEVI_SCALE_LIST = {'ScaleGlyph': 0xE60E, # Android logo 'GlyphsToScale': [