Featured content is also available via:

theme: Use a singleton theme

Desktop / GNOME / Mutter - Florian Müllner [gnome.org] - 29 December 2014 10:46 UTC

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

662dd6a theme: Use a singleton theme
src/core/main.c | 38 --------------------------------------
src/meta/theme.h | 3 +--
src/ui/frames.c | 11 +++++------
src/ui/theme.c | 21 +++++++++------------
src/ui/ui.c | 11 ++---------
src/ui/ui.h | 1 -
6 files changed, 17 insertions(+), 68 deletions(-)

Upstream: git.gnome.org