Allow stretched character to increase column size (e.g., if it has minsize). (mathjax/MathJax#3423) #1353
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR fixes a problem where the column width for a column with stretchy characters isn't adjusted if the stretched version of the character is wider than the expected stretch width. This can happen if a fixed-size character is used that is slightly larger than needed (which is allowed), or if the stretchy has a
minsize
attribute that makes it larger than expected. The latter is true in the case cited in mathjax/MathJax#3423.We fix the problem by making sure we always stretch characters, even if there is only one stretchy (so as to handle midsize even on a single row), and testing if the new width is wider than the column width, and adjusting that width if so. We also remove a variable that is no longer needed.
A test case is
Without this patch the equal sign overlaps the A and B.
Resolves issue mathjax/MathJax#3423.