if ((e.getModifiersEx() & InputEvent.CTRL_DOWN_MASK) != 0) { Font font = textArea.getFont(); int size = font.getSize();
/** * @see MouseEvent */ public int getModifiersEx () { return event.getModifiersEx (); }
/** * @see MouseEvent */ public int getModifiersEx () { return event.getModifiersEx (); }
@Override public void mouseWheelMoved( MouseWheelEvent ev ) { double moveStep = calcMove(); if ( ( ev.getModifiersEx() & ( InputEvent.SHIFT_DOWN_MASK | InputEvent.CTRL_DOWN_MASK ) ) == InputEvent.SHIFT_DOWN_MASK ) { // SHIFT (and not CTRL) moveStep *= 10.0; } else if ( ( ev.getModifiersEx() & ( InputEvent.SHIFT_DOWN_MASK | InputEvent.CTRL_DOWN_MASK ) ) == InputEvent.CTRL_DOWN_MASK ) { // CTRL (and not SHIFT) moveStep /= 10.0; } vf.moveForward( -ev.getWheelRotation() * moveStep ); master.repaint(); }
@Override public void mouseWheelMoved( MouseWheelEvent e ) { if ( e.getSource() instanceof GLAutoDrawable ) { double moveStep = 1; if ( ( e.getModifiersEx() & ( InputEvent.SHIFT_DOWN_MASK | InputEvent.CTRL_DOWN_MASK ) ) == InputEvent.SHIFT_DOWN_MASK ) { // SHIFT (and not CTRL) moveStep *= 10.0; } else if ( ( e.getModifiersEx() & ( InputEvent.SHIFT_DOWN_MASK | InputEvent.CTRL_DOWN_MASK ) ) == InputEvent.CTRL_DOWN_MASK ) { // CTRL (and not SHIFT) moveStep /= 10.0; } // translation += ( -e.getWheelRotation() * moveStep ); ( (GLAutoDrawable) e.getSource() ).display(); } }
@Override public void mouseWheelMoved( final MouseWheelEvent e ) { final double v = keyModfiedSpeed( e.getModifiersEx() ); final int s = e.getWheelRotation(); shift( v * s ); gui.scrollBar.setValue( ( int )Math.round( currentSlice ) ); update(); }
/** * Tests whether the given {@link MouseWheelEvent} is a zooming event. * * @param aEvent * the {@link MouseWheelEvent} to test, may be <code>null</code>. * @return <code>true</code> if the given {@link MouseWheelEvent} is * actually to be regarded as a zooming event, <code>false</code> if * not. */ private boolean isZoomEvent( final MouseWheelEvent aEvent ) { if ( aEvent == null ) { return false; } boolean invert = isMouseWheelZoomDefault(); final int modifier = getMouseWheelZoomModifier(); final int result = ( aEvent.getModifiersEx() & modifier ); return invert ? ( result == 0 ) : ( result != 0 ); }
@Override public void mouseWheelMoved( final MouseWheelEvent e ) { final double v = keyModfiedSpeed( e.getModifiersEx() ); final int s = e.getWheelRotation(); shift( v * s ); gui.scrollBar.setValue( ( int )Math.round( currentSlice ) ); update(); }
public void mouseWheelMoved(MouseWheelEvent e) { boolean isCtrl = (e.getModifiersEx() & InputEvent.CTRL_DOWN_MASK) != 0; if (isCtrl) { return; } int scroll = e.getUnitsToScroll(); if (scroll > 0) { selectNextButton(); } if (scroll < 0) { selectPreviousButton(); } }
@Override public void mouseWheelMoved(MouseWheelEvent e) { if ((e.getModifiersEx() & (e.CTRL_DOWN_MASK | e.ALT_DOWN_MASK)) == e.CTRL_DOWN_MASK) { int newWidth = Line.getWidth() - e.getWheelRotation(); Line.setWidth(newWidth); if (roi != null) { roi.updateWideLine(newWidth); getImagePlus(e).setRoi(roi); } e.consume(); } }
/** * Dispatches the specified AWT mouse wheel event. * @param evt the mouse wheel event to dispatch */ protected void dispatchMouseWheelEvent(MouseWheelEvent evt) { if (lastHit != null) { processMouseWheelEvent (new GraphicsNodeMouseWheelEvent(lastHit, evt.getID(), evt.getWhen(), evt.getModifiersEx(), getCurrentLockState(), evt.getWheelRotation())); } }
/** * Dispatches the specified AWT mouse wheel event. * @param evt the mouse wheel event to dispatch */ protected void dispatchMouseWheelEvent(MouseWheelEvent evt) { if (lastHit != null) { processMouseWheelEvent (new GraphicsNodeMouseWheelEvent(lastHit, evt.getID(), evt.getWhen(), evt.getModifiersEx(), getCurrentLockState(), evt.getWheelRotation())); } }
@Override public void mouseWheelMoved(final MouseWheelEvent e) { final InputModifiers modifiers = createModifiers(e.getModifiersEx()); updateMouseCoords(e); final int wheelRotation = e.getWheelRotation(); final MsWheelEvent evt = new MsWheelEvent(display, modifiers, x, y, wheelRotation); eventService.publish(evt); if (evt.isConsumed()) e.consume(); }
/** * Dispatches the specified AWT mouse wheel event. * @param evt the mouse wheel event to dispatch */ protected void dispatchMouseWheelEvent(MouseWheelEvent evt) { if (lastHit != null) { processMouseWheelEvent (new GraphicsNodeMouseWheelEvent(lastHit, evt.getID(), evt.getWhen(), evt.getModifiersEx(), getCurrentLockState(), evt.getWheelRotation())); } }
public void mouseWheelMoved(MouseWheelEvent e) { boolean isCtrl = (e.getModifiersEx() & MouseWheelEvent.CTRL_DOWN_MASK) != 0; boolean isShift = (e.getModifiersEx() & MouseWheelEvent.SHIFT_DOWN_MASK) != 0; MouseWheelEvent eventToDispatch = e; if (isCtrl || isShift) { int amountMulti = 1; int rotMulti = 1; if (isCtrl) { amountMulti *= 10; if (isShift) { amountMulti *= 5; rotMulti *= 2; } } eventToDispatch = new MouseWheelEvent(this, e.getID(), e.getWhen() , e.getModifiers() | e.getModifiersEx(), e.getX(), e.getY() , e.getXOnScreen(), e.getYOnScreen(), e.getClickCount(), e.isPopupTrigger() , e.getScrollType(), e.getScrollAmount()*amountMulti, e.getWheelRotation()*rotMulti , e.getPreciseWheelRotation()*amountMulti*rotMulti); } getParent().dispatchEvent(eventToDispatch); }
@Override public void mouseWheelMoved( final MouseWheelEvent e ) { synchronized ( affine ) { final int modifiers = e.getModifiersEx(); final double v = keyModfiedSpeed( modifiers ); final int s = e.getWheelRotation(); final double dScale = 1.0 + 0.05 * v; if ( s > 0 ) scale( 1.0 / dScale, e.getX(), e.getY() ); else scale( dScale, e.getX(), e.getY() ); update(); } }
@Override public void mouseWheelMoved(MouseWheelEvent e) { final Component source = e.getComponent(); final Point location = new Point(e.getX(), e.getY()); final Container map = SwingUtilities.getAncestorOfClass(MapView.class, source); UITools.convertPointToAncestor(source, location, map); final MouseWheelEvent mapWheelEvent = new MouseWheelEvent(map, e.getID(), e.getWhen(), e.getModifiers() | e.getModifiersEx(), location.x, location.y, e.getXOnScreen(), e.getYOnScreen(), e.getClickCount(), e.isPopupTrigger(), e.getScrollType(), e.getScrollAmount(), e.getWheelRotation()); mapMouseWheelListener.mouseWheelMoved(mapWheelEvent); }
private MouseWheelEvent mirroredMouseWheelEvent(final MouseWheelEvent e) { double scale; BattleProperties battleProps = battleManager.getBattleProperties(); int vWidth = battleView.getWidth(); int vHeight = battleView.getHeight(); int fWidth = battleProps.getBattlefieldWidth(); int fHeight = battleProps.getBattlefieldHeight(); if (vWidth < fWidth || vHeight < fHeight) { scale = min((double) vWidth / fWidth, (double) vHeight / fHeight); } else { scale = 1; } double dx = (vWidth - scale * fWidth) / 2; double dy = (vHeight - scale * fHeight) / 2; int x = (int) ((e.getX() - dx) / scale + 0.5); int y = (int) (fHeight - (e.getY() - dy) / scale + 0.5); return new MouseWheelEvent(SafeComponent.getSafeEventComponent(), e.getID(), e.getWhen(), e.getModifiersEx(), x, y, e.getClickCount(), e.isPopupTrigger(), e.getScrollType(), e.getScrollAmount(), e.getWheelRotation()); } }
@Override public void mouseWheelMoved( final MouseWheelEvent e ) { synchronized ( affine ) { final int modifiers = e.getModifiersEx(); final double v = keyModfiedSpeed( modifiers ); final int s = e.getWheelRotation(); if ( ( ( modifiers & InputEvent.CTRL_DOWN_MASK ) != 0 && ( modifiers & InputEvent.SHIFT_DOWN_MASK ) != 0 ) || ( modifiers & InputEvent.META_DOWN_MASK ) != 0 ) { final double dScale = 1.0 + 0.05; if ( s > 0 ) scale( 1.0 / dScale, e.getX(), e.getY() ); else scale( dScale, e.getX(), e.getY() ); } else // translate in Z { final double dZ = v * -s; // TODO (optionally) correct for zoom affine.set( affine.get( 2, 3 ) - dZ, 2, 3 ); } update(); } }
public void serialize(RbSerializer serializer, ByteBuffer buffer, Object object) { MouseWheelMovedEvent obj = (MouseWheelMovedEvent) object; java.awt.event.MouseWheelEvent src = (java.awt.event.MouseWheelEvent) obj.getSourceEvent(); serializer.serialize(buffer, src.getClickCount()); serializer.serialize(buffer, src.getX()); serializer.serialize(buffer, src.getY()); serializer.serialize(buffer, src.getScrollType()); serializer.serialize(buffer, src.getScrollAmount()); serializer.serialize(buffer, src.getWheelRotation()); serializer.serialize(buffer, src.getID()); serializer.serialize(buffer, src.getModifiersEx()); serializer.serialize(buffer, src.getWhen()); }