@nerbert - I had a good laugh at myself.
I spent good time and energy adding codemirror to my admincp, and all along you had already completed this mod. I was even the first person to thank you for this mod. So I am feeling a bit foolish right now. Next time I need to ask around before I do some code

Well still great work on your part!
Of the two editors, which one do you like better, if you have compared them... codemirror, editarea?
G