You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Fixes
The interactive HTML viewer no longer shows a cluttered subgraph legend in the corner; the tag legend still covers filtering and highlighting.
Scrolling in the interactive HTML viewer now pans the diagram instead of zooming it. Use ctrl/cmd+scroll to zoom at the cursor, shift+scroll to pan horizontally, and arrow keys, +/-, or 0 to pan/zoom/reset from the keyboard.
