[web2py] Re: new code editor?

[Anthony]

On Saturday, May 7, 2011 10:36:34 AM UTC-4, Massimo Di Pierro wrote: 
>
> http://codemirror.net/

 
In IE, EditArea has some weird behavior. CodeMirror seems to work in IE.