GWT widget for editing texts with source code highlights, based on the javascript library EditArea from Christophe Dolivet. (http://www.cdolivet.com/editarea/)