Skip to content

PR: Add a shortcut manager - #45

Merged
jnsebgosselin merged 43 commits into
mainfrom
add_shortcut_manager
Dec 18, 2025
Merged

jnsebgosselin merged 43 commits into
mainfrom
add_shortcut_manager

Commits

  1. Commits on Nov 5, 2025

  2. Commits on Nov 6, 2025

  3. Commits on Nov 11, 2025

  4. Commits on Nov 16, 2025

  5. Commits on Nov 27, 2025

  6. Commits on Dec 8, 2025

  7. Commits on Dec 9, 2025

  8. Commits on Dec 13, 2025

  9. Commits on Dec 17, 2025

  10. Commits on Dec 18, 2025