Make numbered bookmarks work with numlock on#1093
Open
Davidy22 wants to merge 5 commits intogeany:masterfrom Davidy22:master
+16-17
Commits
Commits on Jul 21, 2021
- committed
- committed
Commits on Jul 22, 2021
- committed
Commits on Jul 24, 2021
- committed