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] Click to open constraint system image in new tab #604

Open
1 task done
thgoebel opened this issue Oct 18, 2023 · 0 comments
Open
1 task done

[Feature] Click to open constraint system image in new tab #604

thgoebel opened this issue Oct 18, 2023 · 0 comments

Comments

@thgoebel
Copy link
Contributor

  • I searched the issues for duplicates and hope I didn't miss it

Problem statement

I often find myself doing "Right click" -> "Open image in new tab" to open the constraint system image/graph in a new tab. Large graphs are almost always easier to view in a separate tab than within the Tamarin GUI.

Proposed solution

My workflow would be much faster if I could simply left-click on the image and it would automatically open in a new tab.

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

1 participant