Michael Schmidt-KorthandGitHub f0ddb8c631 upd: group commands by category (#1447) ...

* upd: group commands by category

* fix: remove unused variable

2025-07-09 10:44:38 +02:00

..

colors.scss

Merge pull request #1437

2025-06-21 18:00:42 +02:00

editor.scss

Merge pull request #1435

2025-06-21 17:50:07 +02:00

main.scss

Merge pull request #1437

2025-06-21 18:00:42 +02:00

modals.scss

upd: group commands by category (#1447)

2025-07-09 10:44:38 +02:00

theme.scss

Visual indication of initial indexing progress (red circle)

2025-06-12 14:35:16 +02:00

top.scss

More cleanup

2025-06-12 20:40:31 +02:00