setLegal instead of isLegal

RAIRLab · Nov 26, 2023 · 5be2163 · 5be2163
1 parent 2479693
commit 5be2163
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/ProofTools/DeiterationTool.ts b/src/ProofTools/DeiterationTool.ts
@@ -33,7 +33,7 @@ export function deiterationMouseDown(event: MouseEvent) {
     currentProofTree = new AEGTree(treeContext.getLastProofStep().tree.sheet);
     currentNode = currentProofTree.getLowestNode(currentPoint);
 
-    isLegal();
+    setLegal();
 }
 
 /**
@@ -46,7 +46,7 @@ export function deiterationMouseMove(event: MouseEvent) {
     currentNode = currentProofTree.getLowestNode(currentPoint);
     redrawProof();
 
-    isLegal();
+    setLegal();
 }
 
 /**
@@ -76,7 +76,7 @@ export function deiterationMouseUp(event: MouseEvent) {
 /**
  * Helper function to determine if the currently selected node is a legal node and highlight it.
  */
-function isLegal() {
+function setLegal() {
     if (
         currentNode !== null &&
         !(currentNode instanceof CutNode && currentNode.ellipse === null) &&