Ah, I see. The solutions linked above certainly claim to be easy to install, but I got lazy and didn't finish the job when I tried them out. It certainly ought

Ah, I see. The solutions linked above certainly claim to be easy to install, but I got lazy and didn't finish the job when I tried them out. It certainly ought to be possible to set them up with a single line of JavaScript - I can't understand why the sample code doesn't work for me. But fair enough, you were right and I was wrong. And there's an opening in the market for an easy-to-use easy-to-install JavaScript text editor. Perhaps we should make one.