Skip to content

Commit

Permalink
Update TreeView.java
Browse files Browse the repository at this point in the history 
Made board unmodifiable when a selected tree node is part of a contradiction branch
  • Loading branch information
@Chase-Grajeda
Chase-Grajeda committed Oct 7, 2023
1 parent 7ff8873 commit d8c6a21
Showing 1 changed file with 760 additions and 783 deletions.
Loading

1 comment on commit d8c6a21

@Chase-Grajeda
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Progress on #624 . The bug has been handled when using a natural instance of LEGUP. However, the buggy behavior returns when opening a saved puzzle file with an active proof tree.

Please sign in to comment.