The dimensions of the terminal in characters should be preserved, the size of the window in pixels should increase or decrease proportional to the font size as font size is changed. This worked perfectly in gnome2, it is spastic in 12.10 unity.
Thanks for the attention to the problem. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/960084 Title: changing font size in gnome-terminal changes window dimensions. To manage notifications about this bug go to: https://bugs.launchpad.net/compiz-core/+bug/960084/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
