Does anyone know of a good Javascript implementation of plaintext editing? I.e., exactly what textarea does, but less sucky. Find, find-and-replace, change textarea size, maybe a few other useful features; nothing too fancy. WYSIWYG is nice, but programmers live in a plain text world, and the application I'm writing at the moment is for programmers to use. I don't know how possible it is to fix textarea's suckiness (the most popular text editor ever, and yet such an exceptionally lame text editor), but I'd like to see what people have tried.