public void setTheme(Theme theme) {
   this.theme = theme;
   ConfigurationManager.getInstance().writeValue(IPlugInPort.THEME_KEY, theme);
   messageDispatcher.dispatchMessage(EventType.REPAINT);
 }
 public void fireZoomChanged() {
   messageDispatcher.dispatchMessage(EventType.ZOOM_CHANGED, zoomLevel);
   messageDispatcher.dispatchMessage(EventType.REPAINT);
 }