Skip to content

Keep "? help" on the top bar while the shortcut bar is hidden - #533

Merged
robzolkos merged 2 commits into
mainfrom
help-hint-when-hidden
Sep 30, 2026
Merged

robzolkos merged 2 commits into
mainfrom
help-hint-when-hidden

Commits

Commits on Sep 30, 2026