/** * Checks if the Ctrl key was down when the mouse event took place. * * @return true if Ctrl was pressed when the event occurred, false * otherwise */ public boolean isCtrlKey() { return details.isCtrlKey(); }
/** * Checks if the Ctrl key was down when the mouse event took place. * * @return true if Ctrl was pressed when the event occurred, false * otherwise or if unknown */ public boolean isCtrlKey() { if (null != details) { return details.isCtrlKey(); } else { return false; } }
TreeTargetDetails treeTargetDetails = ((TreeTargetDetails) event.getTargetDetails()); MouseEventDetails mouseEventDetails = MouseEventDetails.deSerialize((String) treeTargetDetails.getData("mouseEvent")); if (mouseEventDetails.isCtrlKey()) { ... }
@Override public void marqueeSelection(String[] vertexKeys, MouseEventDetails eventDetails) { selectVertices(eventDetails.isShiftKey(), eventDetails.isCtrlKey(), vertexKeys); }
@Override public void vertexClicked(String vertexId, MouseEventDetails eventDetails, String platform) { selectVertices(eventDetails.isShiftKey(), eventDetails.isCtrlKey(), vertexId); }
@Override public void marqueeSelection(String[] vertexKeys, MouseEventDetails eventDetails) { selectVertices(eventDetails.isShiftKey(), eventDetails.isCtrlKey(), vertexKeys); }
@Override public void vertexClicked(String vertexId, MouseEventDetails eventDetails, String platform) { selectVertices(eventDetails.isShiftKey(), eventDetails.isCtrlKey(), vertexId); }
public static MouseEventDetails toMouseEventDetails(com.vaadin.shared.MouseEventDetails vMouseEventDetails) { checkNotNullArgument(vMouseEventDetails); MouseEventDetails mouseEventDetails = new MouseEventDetails(); mouseEventDetails.setButton(toMouseButton(vMouseEventDetails.getButton())); mouseEventDetails.setClientX(vMouseEventDetails.getClientX()); mouseEventDetails.setClientY(vMouseEventDetails.getClientY()); mouseEventDetails.setAltKey(vMouseEventDetails.isAltKey()); mouseEventDetails.setCtrlKey(vMouseEventDetails.isCtrlKey()); mouseEventDetails.setMetaKey(vMouseEventDetails.isMetaKey()); mouseEventDetails.setShiftKey(vMouseEventDetails.isShiftKey()); mouseEventDetails.setDoubleClick(vMouseEventDetails.isDoubleClick()); mouseEventDetails.setRelativeX(vMouseEventDetails.getRelativeX()); mouseEventDetails.setRelativeY(vMouseEventDetails.getRelativeY()); return mouseEventDetails; }