Donovan Glover 317e7b3a74 gtk: Use default GNOME font settings ... Now GTK applications have consistent font size across both GNOME and non-GNOME environments.		2018-11-27 18:41:28 -05:00
..
settings.ini	gtk: Use default GNOME font settings	2018-11-27 18:41:28 -05:00