Adds Settings Dialog#38
Merged
DrPaulSharp merged 15 commits intoRascalSoftware:main from DrPaulSharp:settingsOct 3, 2024
+386-59
Commits
Commits on Oct 3, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed