stopProcessing();
} else if (nextUpdateManager != null) {
// We have to wait for the rendering to stop
// before we install the new document.
gvtTreeRenderer.addGVTTreeRendererListener
(new GVTTreeRendererAdapter() {
GVTTreeRenderer gtr = gvtTreeRenderer;
public void gvtRenderingCompleted
(GVTTreeRendererEvent e) { install(); }
public void gvtRenderingCancelled
(GVTTreeRendererEvent e) { install(); }