@Override
public void removeUpdate(DocumentEvent e, Shape a, ViewFactory f) {
super.removeUpdate(e, a, f);
JavaDocument d = (JavaDocument) e.getDocument();
if (d.isNeedsRedraw()) {
getContainer().repaint();
d.setNeedsRedraw(false);
}
}
/**
* Gives notification that something was removed from the document in a location that this view is
* responsible for.
*
* @param changes the change information from the associated document
* @param a the current allocation of the view
* @param f the factory to use to rebuild if the view has children
* @see View#removeUpdate
*/
public void removeUpdate(DocumentEvent changes, Shape a, ViewFactory f) {
super.removeUpdate(changes, adjustAllocation(a), f);
updateVisibilityModel();
}
