GNOME Bugzilla – Bug 120123
Profiles with different fonts or font sizes causes weird behaviour when switching tabs
Last modified: 2007-02-11 19:26:01 UTC
Using 2.4 beta 1 ebuilds from breakmygentoo.net How to reproduce: Create a profile with some font with size 12 Create another profile withe some font size 10 Now open two tabs, one for each profile. Switch the tabs back and forth with the mouse. On my machine, When switching to the profile with the smaller font the size of the window shrinks. Then when I switch back to the session with the larger font, the window size stays the same. If I switch again to the smaller font, the window shrinks again. I can keep switching the tabs back and forth and the window gets smaller and smaller. The window should probably always stay the same size. Either that, or the row and column count should stay the same, and the window should just resize based on the different glyph sizes for the fonts.
Note bug 110103 reports exactly the opposite behaviour as a bug... Also, I think this is a dup, but I can't find the original one.
I can reproduce this behaviour in 2.16.1/0.14.1 but not with svn HEAD. I'm guessing the "workaround" for the notebook resizing of all tabs also fixed this bug.