Added contradiction check to mouse event

Removed previous changes from TreeView Added board modifiability update to TreeController for each mouse press on the proof tree: modifiability is determined by whether or not the current selected node is part of a contradiction branch
Bram-Hub · Oct 10, 2023 · 6740d5e · 6740d5e · Chase-Grajeda · Oct 10, 2023
1 parent d8c6a21
commit 6740d5e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/src/main/java/edu/rpi/legup/controller/TreeController.java b/src/main/java/edu/rpi/legup/controller/TreeController.java
@@ -55,6 +55,7 @@ public void mouseReleased(MouseEvent e) {
         Puzzle puzzle = getInstance().getPuzzleModule();
         TreeViewSelection selection = treeView.getSelection();
         if (treeElementView != null) {
+            treeElementView.getTreeElement().getBoard().setModifiable(!treeElementView.getTreeElement().isContradictoryBranch());
             if (e.isShiftDown()) {
                 selection.addToSelection(treeElementView);
             }

diff --git a/src/main/java/edu/rpi/legup/ui/proofeditorui/treeview/TreeView.java b/src/main/java/edu/rpi/legup/ui/proofeditorui/treeview/TreeView.java
@@ -332,11 +332,6 @@ public void onTreeSelectionChanged(TreeViewSelection selection) {
         this.selection.getSelectedViews().forEach(v -> v.setSelected(false));
         selection.getSelectedViews().forEach(v -> v.setSelected(true));
         this.selection = selection;
-        // When selected node is on a contradictory branch, disable board modifiability
-        if(selection.getFirstSelection().getTreeElement().isContradictoryBranch()) {
-            GameBoardFacade.getInstance().getBoard().setModifiable(false);
-        }
-        else GameBoardFacade.getInstance().getBoard().setModifiable(true);
         repaint();
     }