I'm displaying some XML text in a TextArea (things like
<INS>Insertion text</INS> blah blah blah
I can see how to add formatting to the text using TextFormat
(along with the resulting extra code like the RichTextEditor
creates), but I see no way to apply styles (already defined for
things like DEL and INS) at run-time to a text selection. Is there
any way to do this?