Skip to content

Allow selecting text via Shift+Arrows#85

Merged
jpobst merged 2 commits intomainfrom
pmprog/main
Feb 8, 2025
Merged

Allow selecting text via Shift+Arrows#85
jpobst merged 2 commits intomainfrom
pmprog/main

Commits

Commits on Jul 16, 2024

Commits on Feb 8, 2025