Add Variable View to GoalOptionsView
- Add inspection Model
- Show new Window with table
- Fix Bug: model.getSelectedGoalNodeToShow().getAssignments() in GoalOptionsMenu.java:67 ins always empty; Example Contraposition + script varDecl()
- Add Tabpane with special ScriptVariables (starting with __)
- Prettify colum witdh
- Remove empty colums, needs css
- Write testcase/test
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information