(symbol, font, mode)
| 7980 | * after following replacement from symbols.js) |
| 7981 | */ |
| 7982 | const getMetrics = function getMetrics(symbol, font, mode) { |
| 7983 | const replace = symbols.math[symbol] && symbols.math[symbol].replace; |
| 7984 | const metrics = getCharacterMetrics(replace || symbol, font, mode); |
| 7985 | |
| 7986 | if (!metrics) { |
| 7987 | throw new Error(`Unsupported symbol ${symbol} and font size ${font}.`); |
| 7988 | } |
| 7989 | |
| 7990 | return metrics; |
| 7991 | }; |
| 7992 | /** |
| 7993 | * Puts a delimiter span in a given style, and adds appropriate height, depth, |
| 7994 | * and maxFontSizes. |
no test coverage detected