@Darwin: I thought afterwards that my teasing was excessive, so thanks for taking it in good part. After all, it was like the pot calling the kettle black!
If anyone upgrades to Boxer 14, please will they report their views on it?
I recall another couple of things about Boxer 13. I didn't much like its bookmarking system. It's one of the ones which give you ten numbered bookmarks. Boxer can edit multiple files, those bookmarks could be spread out between them, and a clever little menu showed you where they all were, but I thought just ten was stingy for an editor of Boxer's calibre. Worse, I didn't like having to remember what the numbers meant. NoteTab Pro, the editor I'm using most at the moment, is another with just ten numbered bookmarks. I prefer the system used by numerous other editors, e.g. Notepad++ and Crimson Editor, where you can (apparently) have as many as you like, toggled on and off by a hotkey, usually Ctrl-F2. Another hotkey, usually F2, jumps between bookmarks in a circular queue. HippoEdit, if I remember correctly, uses
both systems at once.
The other thing about Boxer 13 it uses its own File Open dialogue. It's much better than Windows standard one, but probably isn't going to be compatible with things like FileBox eXtender. I think it was developed before they were. It's an interesting feature, but it's a pity if it isn't compatible.