After testing with XFCE and ICEWM, I am convinced that this problem is unlikely to be gnome-terminal and almost certainly the window manager. I looked at the mapped files via /proc/<pid>/smaps for all three flavors of window managers and the only differences were related to font and sounds/notifications. Please don't condemn this bug report to death by assigning to the GNOME Terminal non-existant group.
-- 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 [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
