You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
this is down to the grid system, I think. the font information is all set at the same time, and it seems to ignore size if it doesn't understand the font family. I'll look into whether this is intented behavior or not, but if it is there won't be much we can (or, arguably, should) do about it
@gmbecker should propose_column_widths get different results for different font sizes? It does not change any font size I input
The text was updated successfully, but these errors were encountered: