Donovan Glover 698225db65 gtk: Update settings.ini ... It turns out that desktop environments like GNOME and Plasma will re-write the GTK settings.ini regardless of whether or not it is actually used. To avoid diffing issues, I've gone ahead and replaced my commented settings.ini with the one formatted by KDE Plasma. Note that the current settings.ini file consists of all the settings you need in a modern GTK environment. Be wary of programs that attempt to add legacy options to this file, such as kde-gtk-config.		2018-11-19 21:30:49 -05:00
..
gtk-3.0	gtk: Update settings.ini	2018-11-19 21:30:49 -05:00