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.
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.