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