Merge branch 'master' into 284-clear-proofs

RAIRLab · Dec 6, 2023 · e720f85 · e720f85
2 parents 05b1923 + 8cff259
commit e720f85
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/index.ts b/src/index.ts
@@ -261,7 +261,12 @@ toolButtons.forEach(button => {
     });
 });
 
-export function setTool(state: Tool) {
+/**
+ * Updates our global tree content tool and the html display elements according to the tool button
+ * that was clicked on
+ * @param state The tool that was clicked on
+ */
+function setTool(state: Tool) {
     treeContext.toolState = state;
     cutTools.style.display = "none";
     atomTools.style.display = "none";