Stefan de Vogelaere 8b7700364d refactor: move project settings to Project section, rename global settings ...

- Move "Settings" from Tools section to Project section in sidebar
- Rename bottom settings link from "Settings" to "Global Settings"
- Update keyboard shortcut description accordingly

2026-01-16 23:17:50 +01:00

..

server

chore: update package versions to 0.12.0 and 0.12.0rc

2026-01-16 16:48:43 -05:00

ui

refactor: move project settings to Project section, rename global settings

2026-01-16 23:17:50 +01:00