Address #513: Use hotkeys everywhere - #514
Open
christofmuc wants to merge 8 commits into
Open
christofmuc wants to merge 8 commits into
christofmuc wants to merge 8 commits into
Commits
Commits on Feb 16, 2026
Commits on Feb 17, 2026
- committed
- committed
- committed
- committed
- committed