changing theme redraws based on mode

RAIRLab · Nov 28, 2023 · 5796b2c · 5796b2c
1 parent ae140bc
commit 5796b2c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Themes.ts b/src/Themes.ts
@@ -4,7 +4,7 @@
  * for the application from the CSS themes
  */
 import {treeContext} from "./treeContext";
-import {redrawTree} from "./DrawModes/DrawUtils";
+import {redrawProof, redrawTree} from "./DrawModes/DrawUtils";
 
 const themeSelector: HTMLSelectElement = <HTMLSelectElement>document.getElementById("theme-select");
 
@@ -36,7 +36,7 @@ function setTheme() {
         legalColorStr = cssVar("--good-placement");
         illegalColorStr = cssVar("--bad-placement");
         placedColorStr = cssVar("--canvas-items");
-        redrawTree(treeContext.tree);
+        treeContext.modeState === "Draw" ? redrawTree(treeContext.tree) : redrawProof();
     });
 }