From 8d70e9cd542b83f9c8eb8e9323fb42e1811fcd20 Mon Sep 17 00:00:00 2001
From: Samuel Elliott <samuelthomas2774@users.noreply.github.com>
Date: Sun, 11 Feb 2018 20:12:15 +0000
Subject: [PATCH] Add theme reloading

---
 client/src/modules/thememanager.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/client/src/modules/thememanager.js b/client/src/modules/thememanager.js
index f5fb3180..bb4e8966 100644
--- a/client/src/modules/thememanager.js
+++ b/client/src/modules/thememanager.js
@@ -157,6 +157,10 @@ export default class ThemeManager extends ContentManager {
         theme.disable();
     }
 
+    static reloadTheme(theme) {
+        theme.recompile();
+    }
+
     static getConfigAsSCSS(config) {
         const variables = [];