Skip to content

Scroll current menu item into top of menu bar#1204

Merged
scudette merged 2 commits intomasterfrom
scroll
Mar 14, 2026
Merged

Scroll current menu item into top of menu bar#1204
scudette merged 2 commits intomasterfrom
scroll

Conversation

@scudette
Copy link
Collaborator

This helps when looking at pages further down to nav pane since the active tree node is always visible.

@scudette scudette merged commit 43bf875 into master Mar 14, 2026
5 checks passed
@scudette scudette deleted the scroll branch March 14, 2026 08:58
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

Successfully merging this pull request may close these issues.

1 participant