Yes, but I believe there is a misunderstanding. I am not saying there is a problem with the window getting larger on the screen, I am saying that changing font size changes the number of rows and columns of characters in the newly resized windows. If I start with an 80x25 sized window, then decrease and increase the font size a couple times, the new window will have fewer rows and columns. Do not focus on the number of pixels, but rather number of rows and columns. That information is no longer very easy to determine because the window size is no longer displayed when resizing (useful information I wish had been retained).
-- 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
