jEdit's text area control.