Tomasz Kontusz b7b133e1ba Look for gtk settings.ini in all the expected places ... This should help with loading system-level default theme. Based on https://developer.gnome.org/gtk3/stable/GtkSettings.html, "Description".		2020-07-20 09:04:10 +02:00
..
d	stuff	2018-11-08 20:39:54 +03:00
gtk-theme	Look for gtk settings.ini in all the expected places	2020-07-20 09:04:10 +02:00
module-args	Upgrade dependencies	2019-08-11 00:39:28 +03:00
recompose	Upgrade dependencies	2019-08-11 00:39:28 +03:00
theme	Upgrade dependencies	2020-06-18 16:23:41 +03:00
memoize.js	Show pulseaudio errors	2018-11-19 02:03:57 +03:00
plus-minus.js	stuff	2018-11-08 20:39:54 +03:00
plus-minus.test.js	Upgrade dependencies	2020-06-18 16:23:41 +03:00
weakmap-id.js	Upgrade dependencies	2019-08-11 00:39:28 +03:00