shrinking terminal on tab switch
@matthiasc
Submitted by Matthias Clasen Link to original bug (#640460)
Description
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:
Resolution: RESOLVED FIXED