somebody1234 e59b422612

"Keyboard shortcuts" settings page (#9071) ...

- Close https://github.com/enso-org/cloud-v2/issues/896
- Add new settings page for viewing and editing keyboard shortcuts
- Refactor shortcut manager to resemble GUI2's shortcuts module
- Minor refactor moving `dashboard/layouts/dashboard` to `dashboard/layouts`; and moving all moals to `dashboard/modals`

# Important Notes
- The modal for capturing keyboard shortcuts has not been tested on macOS.

2024-02-27 12:52:21 +00:00

14 lines

758 B

XML

Raw Blame History