Florian Müllner 662dd6a289 theme: Use a singleton theme
Different themes don't make sense when we are always using the current
GTK+ theme for everything, so adapt the MetaTheme API to use a singleton.

https://bugzilla.gnome.org/show_bug.cgi?id=741917
2014-12-29 08:46:37 -08:00
2014-12-29 08:29:05 +00:00
2014-12-29 08:46:37 -08:00
2014-03-18 20:37:35 -04:00
2014-12-29 16:25:19 +01:00
2014-07-31 17:50:28 +02:00
2014-12-19 12:05:52 +01:00
Description
91 MiB
Languages
C 98.9%
Meson 0.7%
Python 0.3%