Checking that there is indeed a selection before scrolling#257
Merged
guzmanvig merged 11 commits intodevelopfrom scroll-to-selectionFeb 20, 2024
+30-20
Commits
Commits on Jan 16, 2024
Commits on Feb 13, 2024
Commits on Feb 14, 2024
- committed
- committed
- committed
- committed
- committed
- committed