dot = e.getDot();
int dot = e.getDot(); int mark = e.getMark(); if (caretDot != dot) { firePropertyChange(ACCESSIBLE_CARET_PROPERTY, new Integer(caretDot), new Integer(dot)); caretDot = dot; } if (mark != dot) { firePropertyChange(ACCESSIBLE_SELECTION_PROPERTY, null, getSelectedText()); }
    public void caretUpdate(CaretEvent e)      throws NotImplementedException    {      // TODO: fire appropriate event.      dot = e.getDot();    }