コード例 #1
0
 public void setTheme(Theme theme) {
   this.theme = theme;
   ConfigurationManager.getInstance().writeValue(IPlugInPort.THEME_KEY, theme);
   messageDispatcher.dispatchMessage(EventType.REPAINT);
 }
コード例 #2
0
 public void fireZoomChanged() {
   messageDispatcher.dispatchMessage(EventType.ZOOM_CHANGED, zoomLevel);
   messageDispatcher.dispatchMessage(EventType.REPAINT);
 }