Code mirror of a jQuery based WYSIWYG-editor. I'm not the author, author's website: http://redactorjs.com/