fixed a bug that would not allow changing of font from the command line

This commit is contained in:
Jack 2020-08-01 20:48:47 +01:00
parent e6df34e3c5
commit 25684b8f40

View file

@ -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, "_"));
},
});
});