/** Stops the processing of the current tree. */ public void stopProcessing() { if (gvtTreeRenderer != null) { needRender = false; gvtTreeRenderer.halt(); haltProgressivePaintThread(); } }
/** Schedules a new GVT rendering. */ protected void scheduleGVTRendering() { if (gvtTreeRenderer != null) { needRender = true; gvtTreeRenderer.halt(); } else { renderGVTTree(); } }