Emmanuele Bassi 80f4dffa76 theme: Specify the weight, not the font, for header bar titles ... Using `font: Bold` will override the font with whatever the system resolves a `Bold` font name to, including the font's own default size. We want the font weight to be bold, but we want the default font name and size to come from the GtkSettings:font-name property, like we do for the rest of the system.		2014-08-28 11:20:45 +01:00
..
cursor	Rename cursor pngs to their resource name	2014-06-13 09:28:27 -04:00
icons	Ensure an image-missing icon is available	2014-08-03 10:13:23 +02:00
theme	theme: Specify the weight, not the font, for header bar titles	2014-08-28 11:20:45 +01:00
ui	GtkAboutDialog: Drop visibility-notify-event handler	2014-08-23 01:28:14 -04:00