we are considering replacing the admin editor with codemirror since it should work with IE.
Can you please help us try it? get web2py form github and edit admin/models/0.py and set the editor to 'codemirror'. let us know what browser you try and your findings. Massimo --
