Text editor widget based on Mozilla's editing functionality. This means top
notch HTML support as well as nice goodies like builtin undo.
