Prevent inadvertent tall delims (#1948)

This commit is contained in:
Ron Kok
2019-04-23 08:59:32 -07:00
committed by ylemkimon
parent f948947736
commit 0461e17c8e

View File

@@ -23,6 +23,10 @@ defineFunctionBuilders({
}
} else if (group.family === "punct") {
node.setAttribute("separator", "true");
} else if (group.family === "open" || group.family === "close") {
// Delims built here should not stretch vertically.
// See delimsizing.js for stretchy delims.
node.setAttribute("stretchy", "false");
}
return node;
},