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

Fixes: #1611 Co-Authored-By: Fini Jastrow <[email protected]>
ryanoasis · Apr 22, 2024 · 41aae1f · 41aae1f
1 parent 5a52c80
commit 41aae1f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/font-patcher b/font-patcher
@@ -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}},