This is a good point. So far I've had limited success persuading the vte widget to do what I want wrt size, but I expect with some careful reading of gnome-terminal's code we can figure this out. Thanks for the report.
This is a good point. So far I've had limited success persuading the vte widget to do what I want wrt size, but I expect with some careful reading of gnome-terminal's code we can figure this out. Thanks for the report.