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