Added an auto-pause preference, added Esc to unpause, & dup'd preferences to solver more menu#466
Merged
mdirolf merged 4 commits intocrosshare-org:masterfrom adamthedog:masterFeb 2, 2024
+148-76
Commits
Commits on Feb 1, 2024
- committed
- committed
- committed
- committed
