Hi Sam, my `global' in the bug's title means `not per-profile for a single user', not `for all gnome-terminals across all users', so although that solution may work for you, I have other users on this machine so it isn't suitable. And files under /usr/share aren't intended to be edited by a user or admin. of the machine.
I think this bug is probably really two. The lack of configurability over the terminal size, with per-profile settings, means I can't, for example, quickly open a new log-file monitoring terminal, or a new IRC client one. A user can match profiles to uses rather than just appearance, e.g. a dark blue background is log-file monitoring with a small font size but that needs a particular terminal size too. The second issue is gnome-terminal's lack of compliance with the `ESC [ 8' and `ESC [ 4' sequences. This is a hard, concrete bug; not a `wishlist' item. I've opened a second bug for that, bug #258775, so this bug can concentrate on the lack of per-profile setting. -- gnome-terminal is Always 80x24. No global or per-profile setting available. https://bugs.launchpad.net/bugs/217167 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to vte in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
