Donovan Glover b9e7e0a8b1 gtk: Use a more custom theme choice ... Instead of the usual GTK themes, we're going with something completely different. The font has also been changed to reflect the one I use the most.		2022-03-24 16:38:53 -04:00
..
settings.ini	gtk: Use a more custom theme choice	2022-03-24 16:38:53 -04:00