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