GNOME Bugzilla – Bug 87535
Switching themes resizes terminals
Last modified: 2004-12-22 21:47:04 UTC
When you switch themes terminals resize. Steps to Reproduce: 1) Open a terminal 2) Open the theme capplet 3) Switch between the GTK themes many times 4) Watch the terminal gradually shrink
Peter: you know better than to file this against control-center :) *** This bug has been marked as a duplicate of 83698 ***