Safe to be called at any time within any thread.
203204205206207208209210211212213
while (!shell.isDisposed()) { if (!display.readAndDispatch()) display.sleep(); } renderer.getTimingSource().dispose(); renderer.shutdown(); animationTimer.dispose(); infoTimer.dispose(); display.dispose(); }