Highlight interface. Create implementations of this interface and add them to the text area with TextAreaPainter.addCustomHighlight() to paint custom highlights. @author Slava Pestov @version $Id$
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected