Skip to content
GitLab

Handle size of centered large operators correctly in mrows. #1933

Merged Davide P. Cervone requested to merge github/fork/dpvc/issue1933 into develop

Properly include centering of large operators in height and depth of mrows (for stretching of operators). resolves issue #1933 (closed).