/** Force a repaint of the damaged area of the viewer. */ @Override public void scheduleRepaint() { updateNotifier.invalidateViewsForChangedObjects(); synchronized (redrawArea) { if (!redrawArea.equals(NO_REDRAW) || refreshStatus) { UI_LOG.debug("repaint viewer " + redrawArea); final Bounds area = new Bounds(redrawArea); area.translate(insets.left, insets.top); renderingArea.repaint(area.getX(), area.getY(), area.getWidth(), area.getHeight()); redrawArea.setBounds(NO_REDRAW); } } }
@Override public void disposeUnneededViews() { updateNotifier.removeViewsForDisposedObjects(); }
@Override public void removeFromNotificationList(final View view) { updateNotifier.remove(view); }
@Override public void addToNotificationList(final View view) { updateNotifier.add(view.getView()); }