A textarea replacement for code editing