Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
P
ProofScriptParser
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 24
    • Issues 24
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 4
    • Merge Requests 4
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • sarah.grebing
  • ProofScriptParser
  • Issues
  • #55

Closed
Open
Opened Sep 24, 2018 by sarah.grebing@xt9634Maintainer5 of 7 tasks completed5/7 tasks

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 Oct 23, 2018 by uudmk
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None
Reference: xt9634/ProofScriptParser#55