Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[FEAT]: funman graph interactions and improvements #5086

Open
7 tasks done
shawnyama opened this issue Oct 8, 2024 · 0 comments · May be fixed by #5163
Open
7 tasks done

[FEAT]: funman graph interactions and improvements #5086

shawnyama opened this issue Oct 8, 2024 · 0 comments · May be fixed by #5163
Assignees
Labels
feature New feature or request

Comments

@shawnyama
Copy link
Contributor

shawnyama commented Oct 8, 2024

  • Insert markers in parameter graph
  • The latest timepoint should be shown not the furthest one specified, also have an option to see all the boxes before the latest one
  • Don't display parameter graph if it is a constant
  • Add ambiguous boxes
  • Add option to prioritize the view of the model check
@shawnyama shawnyama added the feature New feature or request label Oct 8, 2024
@shawnyama shawnyama self-assigned this Oct 8, 2024
@shawnyama shawnyama changed the title [FEAT]: funman graph interactions [FEAT]: funman graph interactions and improvements Oct 8, 2024
@shawnyama shawnyama linked a pull request Oct 16, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant