code: @Override
    public void remove( int offset, int length ) throws BadLocationException
    {
      super.remove( offset, length );
      processChangedLines( offset, 0 );
    }
docs: /*
  Override to apply syntax highlighting after the document has been updated