Skip to content
GitLab
Closed
Issue created by sarah.grebing@xt9634Owner5 of 7 checklist items completed5/7 checklist items

Add Variable View to GoalOptionsView

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

Imprint