@Override
public void changedUpdate(DocumentEvent e, Shape a, ViewFactory f) {
super.changedUpdate(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();
}
/**
* Renders using the given rendering surface and area on that surface. The view may need to do
* layout and create child views to enable itself to render into the given allocation.
*
* @param g the rendering surface to use
* @param a the allocated region to render into
* @see View#paint
*/
public void paint(Graphics g, Shape a) {
Rectangle r = (Rectangle) a;
g.clipRect(r.x, r.y, r.width, r.height);
super.paint(g, a);
}