The editor you're talking about is probably Kupu (http://kupu.oscom.org/). I haven't really tested it but DaveB said it's a lot better than htmlarea, and that he had made some experiments to hook it up with OpenACS.