gnome-terminal 2.18 display problem

[Lars Hecking]

Jeremy Messenger writes:
[...]
> >    Kevin> I am seeing the same issue. This is the second problem I
> >    Kevin> have had with gnome-terminal in 2.18. (See prior messages
> >    Kevin> today.) I have no idea whether they are related.
> >
> >Thanks.  At least the problem isn't with my build.
> >
> >Looks like the problem is with the vte widget, I see the same problem
> >running vte.  I'm going to file a gnome bug.
> 
> Yeah, you should file a bug report over at gnome bugzilla. When you run  
> gnome-terminal, does it reports about that TERM is set to xterm?

 The problem is definitely vte. A portdowngrade to 0.14.2_1 fixes it,
 and also the zoom problem (I didn't test zoom prior to downgrading).
 In my case, yes, TERM=xterm.