Merge pull request #272 from RAIRLab/267-switching-theme-swaps-to-dra…

…w-mode-but-says-youre-in-proof-mode Switching theme redraws based on mode
RAIRLab · Nov 28, 2023 · 0ccb225 · 0ccb225
2 parents 6e61cab + d2b7521
commit 0ccb225
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();
     });
 }