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.

Sign up for GitHub

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

Jump to bottom

Add version in the inspector tool #53

Open
JoelPasvolsky opened this issue Feb 11, 2020 · 1 comment
Open

Add version in the inspector tool #53

JoelPasvolsky opened this issue Feb 11, 2020 · 1 comment
Labels
feature New feature or request visualizer Visualizer JavaScript issue

Comments

@JoelPasvolsky
Copy link
Contributor

Would be nice to be able to see the version of the problem inspector from the visualized problem in the browser (say under the lefthand menu that shows references, features, and keyboard shortcuts) rather than having to check in the terminal. Low priority.
@randomir randomir added feature New feature or request visualizer Visualizer JavaScript issue labels Feb 12, 2020
@randomir
Copy link
Member

Partially addressed by 71e8d02.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature New feature or request visualizer Visualizer JavaScript issue
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@randomir @JoelPasvolsky