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