[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:10] <ubot5> Gnome bug 727743 in VteTerminal "Use the same defaults for word-chars as gnome-terminal and possibly remove the API" [Normal,Resolved: fixed]
[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.
=== f1she4rs is now known as fishears
=== adrian_ is now known as adrian
=== Doo- is now known as Doo_
=== \b is now known as benonsoftware
=== aaron__ is now known as ahoneybun