GNOME Bugzilla – Bug 640460
shrinking terminal on tab switch
Last modified: 2011-11-23 22:42:01 UTC
gnome-terminal is shrinking on every tab switch. krh tracked this down to inner-border not being set right, and came up with a patch that fixes it: http://pkgs.fedoraproject.org/gitweb/?p=vte3.git;a=blob;f=honey-I-shrank-the-terminal.patch;h=f8f19db62ed62e694883c21bddd09a039f26b17c;hb=b0113ba86869a6f3132432aa822e26247f1fb163
Looks fine, in principle. The thing I _don't_ like is to create a new style provider for each instance of VteTerminal; I'd prefer to have a way to attach a style provider to the class instead so it applies automatically to each instance of the class. That would require gtk API.
See gtk_style_provider_add_provider_for_screen
Fixed on master.
*** Bug 642258 has been marked as a duplicate of this bug. ***
*** Bug 642432 has been marked as a duplicate of this bug. ***
*** Bug 645540 has been marked as a duplicate of this bug. ***
The "fix" for this appears to have made all of the terminals 2 pixels wider, preventing getting two 80x25 terminals side-by-side on a 1280 pixel screen (8 pixels per cell): "Increased terminal padding under precise: 160 columns of 8-pixel wide no longer fit … on 1280 pixel display" https://bugs.launchpad.net/ubuntu/+source/vte/+bug/893174
The fix (not "fix") here made the gtk3 terminal actually have the border as specified; it is correct.