From fcbd8b3ba65ea890dad05c62ff9616a0e994693b Mon Sep 17 00:00:00 2001
From: willerbee <wagulo@gmail.com>
Date: Fri, 25 Sep 2020 17:15:33 +0800
Subject: [PATCH] Added randomiseTheme to commandline

---
 public/js/commandline.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/public/js/commandline.js b/public/js/commandline.js
index bf893be71..a257a3915 100644
--- a/public/js/commandline.js
+++ b/public/js/commandline.js
@@ -365,6 +365,11 @@ let commands = {
         showCommandLine();
       },
     },
+    {
+      id: "randomiseTheme",
+      display: "Next random theme",
+      exec: () => randomiseTheme()
+    },
     {
       id: "bailOut",
       display: "Bail out...",