/** * Disposes this paint manager. The paint manager uninstalls itself * and clears all registered painters. This method is also called when the * last painter is removed from the list of managed painters. */ public void dispose() { if (fManager != null) { fManager.dispose(); fManager= null; } for (Iterator<IPainter> e = fPainters.iterator(); e.hasNext();) e.next().dispose(); fPainters.clear(); fTextViewer.removeTextInputListener(this); removeListeners(); }
/** * Disposes this paint manager. The paint manager uninstalls itself * and clears all registered painters. This method is also called when the * last painter is removed from the list of managed painters. */ public void dispose() { if (fManager != null) { fManager.dispose(); fManager= null; } for (IPainter iPainter : fPainters) iPainter.dispose(); fPainters.clear(); fTextViewer.removeTextInputListener(this); removeListeners(); }