pdwood/yggdrasil

Issues

• Deselect premises (right-click to toggle)

  #3 opened 7 years ago by pdwood
  0

• When the last node in a branch is deleted, the entire branch should be deleted

  #6 opened 7 years ago by pdwood
  0

• Fix "Enter Statement" placeholder text

  #5 opened 7 years ago by pdwood
  0

• Implement mark-as-finished button

  #4 opened 7 years ago by pdwood
  0

• Add "File -> New" option to reset tree

  #2 opened 7 years ago by pdwood
  0

• Add "recenter" button to top menu

  #1 opened 7 years ago by pdwood
  0