Fixed movement tool visual bugs

RAIRLab · May 11, 2024 · 4a50641 · 4a50641
1 parent cddad59
commit 4a50641
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 6 deletions.
diff --git a/src/ProofTools/ProofMoveMultiTool.ts b/src/ProofTools/ProofMoveMultiTool.ts
@@ -61,7 +61,7 @@ export function proofMoveMultiMouseDown(event: MouseEvent): void {
             currentParent.remove(startingPoint);
         }
         legalNode = true;
-        redrawTree(currentProofTree);
+        redrawTree(TreeContext.currentProofStep!.tree);
         highlightNode(currentNode, legalColor());
     } else {
         legalNode = false;
@@ -84,7 +84,7 @@ export function proofMoveMultiMouseMove(event: MouseEvent): void {
             event.y - startingPoint.y
         );
 
-        redrawTree(currentProofTree);
+        redrawTree(TreeContext.currentProofStep!.tree);
         if (currentNode instanceof CutNode) {
             const tempCut: CutNode = alterCutChildren(currentNode, moveDifference);
             const color = isMoveLegal(currentProofTree, tempCut) ? legalColor() : illegalColor();

diff --git a/src/ProofTools/ProofMoveSingleTool.ts b/src/ProofTools/ProofMoveSingleTool.ts
@@ -70,7 +70,7 @@ export function proofMoveSingleMouseDown(event: MouseEvent): void {
         }
         legalNode = true;
 
-        redrawTree(currentProofTree);
+        redrawTree(TreeContext.currentProofStep!.tree);
         if (currentNode instanceof AtomNode) {
             drawAtom(currentNode, legalColor(), true);
         } else {
@@ -94,7 +94,7 @@ export function proofMoveSingleMouseMove(event: MouseEvent): void {
             event.y - startingPoint.y
         );
 
-        redrawTree(currentProofTree);
+        redrawTree(TreeContext.currentProofStep!.tree);
         if (currentNode instanceof CutNode) {
             const tempCut: CutNode = alterCut(currentNode, moveDifference);
             const color = isMoveLegal(currentProofTree, tempCut) ? legalColor() : illegalColor();

diff --git a/src/ProofTools/ProofResizeTool.ts b/src/ProofTools/ProofResizeTool.ts
@@ -19,7 +19,6 @@ import {
     determineDirection,
     drawCut,
     redrawProof,
-    redrawTree,
 } from "../SharedToolUtils/DrawUtils";
 import {CutNode} from "../AEG/CutNode";
 import {ellipseLargeEnough, resizeCut} from "../SharedToolUtils/EditModeUtils";
@@ -94,7 +93,7 @@ export function proofResizeMouseMove(event: MouseEvent): void {
         if (currentNode instanceof CutNode) {
             const tempCut: CutNode = resizeCut(currentNode, moveDifference, direction);
             if (tempCut.ellipse !== null) {
-                redrawTree(currentProofTree);
+                redrawProof();
                 const color = isValid(tempCut) ? legalColor() : illegalColor();
                 drawCut(tempCut, color);
                 determineAndChangeCursorStyle(color, "cursor: crosshair", "cursor: no-drop");