[06:05] <mgedmin> huh gnome-terminal's word-chars setting got removed in 3.13
[06:10] <mgedmin>  waaah https://bugzilla.gnome.org/show_bug.cgi?id=727743#c10 is where : got removed from the now-hardcoded setting :(
[06:14] <mgedmin> so if it was removed in 3.14, why didn't I notice when I was running 3.14?  did ubuntu-gnome patch it back in?
[06:14] <mgedmin> or was the vte change applied in a later version?
[06:29] <mgedmin> towo, it's the new default upstream look, AFAIU (I also had the same reaction as you initially)
[11:30] <towo> mgedmin: Initially thought some theme files were missing, yeah.