Well, I feel much better today. I’ve thought about it a bit more and I realise how very lucky I was that I found about the bug before the thing got a public release. I’m already working on some ideas on how to fix it. More on that as I think it up.
This really shows the importance of testing stuff. So thank you to everyone who has tried SQLEditor in its various versions.