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

[Feature request] Add option for setting the graph title #66

Closed
zomborid opened this issue Nov 9, 2022 · 0 comments
Closed

[Feature request] Add option for setting the graph title #66

zomborid opened this issue Nov 9, 2022 · 0 comments

Comments

@zomborid
Copy link

zomborid commented Nov 9, 2022

It would be nice if instead of Profile results the .svg would say something more informative.
By default it could be the same, but alternatively the user could add a descriptive name.

This would enable the user to encode parameters of the running environment.
For example when checking different settings and algorithms with @profile.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants