Bug: Fix Save As duplicate editor tabs; minor robustness improvements - #479
Open
LinuxBoy-96 wants to merge 7 commits into
Open
Bug: Fix Save As duplicate editor tabs; minor robustness improvements#479LinuxBoy-96 wants to merge 7 commits into
LinuxBoy-96 wants to merge 7 commits into
Commits
Commits on Dec 28, 2025
Commits on Dec 30, 2025
- committed
- authored