fix / #75 run checks when changing file open in active text editor#76
Merged
davidramnero merged 7 commits intoJun 23, 2026
Commits
Commits on Jun 18, 2026
Commits on Jun 22, 2026
- committed
Commits on Jun 23, 2026
- committed
- committed
- committed
- committed
- committed