From b672e12fef23f7bd1daafab851650d191ed82f95 Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremy@osmosoft.com>
Date: Wed, 1 May 2013 12:02:49 +0100
Subject: [PATCH] Add a UI to allow themes to be switched

---
 core/templates/ControlPanel.tid |  3 +++
 core/wiki/themeswitcher.tid     | 17 +++++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 core/wiki/themeswitcher.tid

diff --git a/core/templates/ControlPanel.tid b/core/templates/ControlPanel.tid
index ad749b99b..1aae81cac 100644
--- a/core/templates/ControlPanel.tid
+++ b/core/templates/ControlPanel.tid
@@ -18,3 +18,6 @@ Drop files here
 
 {{$:/snippets/encryptionstatus}}
 
+---
+
+{{$:/snippets/themeswitcher}}
diff --git a/core/wiki/themeswitcher.tid b/core/wiki/themeswitcher.tid
new file mode 100644
index 000000000..1e63b505e
--- /dev/null
+++ b/core/wiki/themeswitcher.tid
@@ -0,0 +1,17 @@
+title: $:/snippets/themeswitcher
+
+Current theme: {{$:/theme}}
+
+<$linkcatcher to="$:/theme">
+
+<$list filter="[plugin-type[theme]]">
+
+<$link to={{##title}}>
+
+<$view field="name" format="text"/>
+
+</$link>
+
+</$list>
+
+</$linkcatcher>