Comment 4 for bug 217167

Revision history for this message
Ralph Corderoy (ralph-inputplus) wrote : Re: [Bug 217167] Re: gnome-terminal is Always 80x24. No global or per-profile setting available.

Hi Sam, thanks for the pointers. The first isn't suitable because it's
editing a file that isn't intended to be edited by the user and also
changes the size for all users on the machine, not just me! :-) The
second shows others are having the same issue but there's no solution to
have per-profile default sizes.

I think the fact that the `ESC [ 8' escape sequence doesn't work in
gnome-terminal despite vte's resize_window() code also suggests this is
a valid bug.