Our copy of Qull JS text editor, modified for our purposes.