-
Emmanuele Bassi authored
We can use the GtkSettings:gtk-fontconfig-timestamp property to decide whether or not we should reload fonts on style and screen changes. This should avoid doing a lot of work with large font collections when only the theme has changed. https://bugzilla.gnome.org/show_bug.cgi?id=748782
c6df1757