font-patcher: don't double-shrink heavy angle brackets

Fixes: https://github.com/ryanoasis/nerd-fonts/issues/1611

Co-Authored-By: Fini Jastrow <ulf.fini.jastrow@desy.de>
This commit is contained in:
Gibson Fahnestock 2024-04-22 22:12:13 +01:00 committed by Fini
parent 5a52c80684
commit 961fa8f8c1

View file

@ -944,7 +944,7 @@ class font_patcher:
0xf0de: {'align': 'c', 'valign': '', 'stretch': 'pa', 'params': {}}
}
SYM_ATTR_HEAVYBRACKETS = {
'default': {'align': 'c', 'valign': 'c', 'stretch': 'pa1!', 'params': {'ypadding': 0.3, 'careful': True}}
'default': {'align': 'c', 'valign': 'c', 'stretch': '^pa1!', 'params': {'ypadding': 0.3, 'careful': True}}
}
SYM_ATTR_BOX = {
'default': {'align': 'c', 'valign': 'c', 'stretch': '^xy', 'params': {'overlap': 0.02, 'dont_copy': box_keep}},