@Override public void updateEnablement() { if (Display.getCurrent() != null) { if (isTimelineActive()) { ZoomManager zoomManager = ZoomTimelineCommandHandler.getZoomManager(); boolean enabled = false; if(zoomManager != null) { ZoomListener zoomListener = zoomManagerToZoomListenerMap.get(zoomManager); if(zoomListener == null) { zoomManager.addZoomListener(this); zoomManagerToZoomListenerMap.put(zoomManager, this); } enabled = zoomManager.canZoomIn(); } setBaseEnabled(enabled); } else { setBaseEnabled(false); } } }
@Override protected void updateEnablement() { if (Display.getCurrent() != null) { if (isTimelineActive()) { ZoomManager zoomManager = ZoomTimelineCommandHandler.getZoomManager(); boolean enabled = false; if(zoomManager != null) { ZoomListener zoomListener = zoomManagerToZoomListenerMap.get(zoomManager); if(zoomListener == null) { zoomManager.addZoomListener(this); zoomManagerToZoomListenerMap.put(zoomManager, this); } enabled = zoomManager.canZoomIn(); } setBaseEnabled(enabled); } else { setBaseEnabled(false); } } }
@Override public void updateEnablement() { if (Display.getCurrent() != null) { if (isTimelineActive()) { ZoomManager zoomManager = ZoomTimelineCommandHandler.getZoomManager(); boolean enabled = false; if(zoomManager != null) { ZoomListener zoomListener = zoomManagerToZoomListenerMap.get(zoomManager); if(zoomListener == null) { zoomManager.addZoomListener(this); zoomManagerToZoomListenerMap.put(zoomManager, this); } enabled = zoomManager.canZoomOut(); } setBaseEnabled(enabled); } else { setBaseEnabled(false); } } }
public void zoomChanged(double zoom) { Object[] listeners = zoomListeners.getListeners(); for (int i = 0; i < listeners.length; ++i) { ((ZoomListener) listeners[i]).zoomChanged(zoom); } // TODO: refresh all if global if (getEditor() != null && getEditor().getCurrentPage() != null) { // force a refresh URNRootEditPart rootEditPart = (URNRootEditPart) getEditor().getCurrentPage().getGraphicalViewer().getRootEditPart(); rootEditPart.setMode(rootEditPart.getMode()); } }
public void addZoomListener(ZoomListener listener) { zoomListeners.add(listener); }
public void removeZoomListener(ZoomListener listener) { zoomListeners.remove(listener); }