Fix editable shortcuts from settings.json - #3462

Merged

austinywang merged 7 commits into

mainfrom

issue-3461-shortcut-file-managed-editable

May 4, 2026

Commits on May 4, 2026

Prove file-backed shortcuts remain user editable
austinywang
committed
d28dc22
Let UI shortcut edits override file defaults
austinywang
committed
6d36488
Prevent shortcut config parsing from re-entering startup state
austinywang
committed
3ded822
Integrate main after shortcut startup fix
austinywang
committed
e6dfd6b
Keep shortcut startup regression out of oversized test file
austinywang
committed
7d22d1b
Prove settings-file shortcuts stay editable
austinywang
committed
ea1a48e
Let settings-file shortcuts remain user-editable
austinywang
committed
2942251