From 25684b8f40c6c903d657da1bb90602429af19a1d Mon Sep 17 00:00:00 2001
From: Jack <bartnikjack@gmail.com>
Date: Sat, 1 Aug 2020 20:48:47 +0100
Subject: [PATCH] fixed a bug that would not allow changing of font from the
 command line

---
 public/js/commandline.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/js/commandline.js b/public/js/commandline.js
index 37c859eb4..3c5b3a6f0 100644
--- a/public/js/commandline.js
+++ b/public/js/commandline.js
@@ -734,7 +734,7 @@ $.getJSON("js/fonts.json", function (data) {
       id: "changeFont" + font.name.replace(/ /g, "_"),
       display: font.display !== undefined ? font.display : font.name,
       exec: () => {
-        setFontFamily(font.name);
+        setFontFamily(font.name.replace(/ /g, "_"));
       },
     });
   });