Closed justinpombrio closed 4 months ago
Fix a bug in pretty printing tabular alignment (it must force elements to be flat).
The new test case is robust against differing values of _DEFAULT_MAX_TABULAR_WIDTH.
_DEFAULT_MAX_TABULAR_WIDTH
Fix a bug in pretty printing tabular alignment (it must force elements to be flat).
The new test case is robust against differing values of
_DEFAULT_MAX_TABULAR_WIDTH
.