if (previous != null) {
needRepaint = true;
_previousBox.restyle(c);
PaintingInfo paintInfo = _previousBox.getPaintingInfo();
if (paintInfo == null) {
targetedRepaint = false;
} else {
java.awt.Rectangle rect = paintInfo.getAggregateBounds();
repaintTarget = new Rectangle(rect.x, rect.y, rect.width,
rect.height);
}
_previousBox = null;
}
if (current != null) {
needRepaint = true;
Box target = box.getRestyleTarget();
target.restyle(c);
if (targetedRepaint) {
PaintingInfo paintInfo = target.getPaintingInfo();
if (paintInfo == null) {
targetedRepaint = false;
} else {
if (repaintTarget == null) {
java.awt.Rectangle rect = paintInfo
.getAggregateBounds();
repaintTarget = new Rectangle(rect.x, rect.y,
rect.width, rect.height);
} else {
java.awt.Rectangle rect = paintInfo
.getAggregateBounds();
repaintTarget.add(new Rectangle(rect.x, rect.y,
rect.width, rect.height));
}
}