| mgedmin | huh gnome-terminal's word-chars setting got removed in 3.13 | 06:05 |
|---|---|---|
| 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:10 |
| 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:14 |
| mgedmin | towo, it's the new default upstream look, AFAIU (I also had the same reaction as you initially) | 06:29 |
| towo | mgedmin: Initially thought some theme files were missing, yeah. | 11:30 |
| === 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 | ||
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!