public void dispose() { if (zoomContribution != null) { zoomContribution.dispose(); zoomContribution = null; } super.dispose(); }
protected void init(IMiniBar bar) { zoomContribution = new MiniZoomContribution(getEditor()); super.init(bar); }