public static void issue163946Hack(final JScrollPane scrollPane) { MouseWheelListener listener = new MouseWheelListener() { @Override public void mouseWheelMoved(MouseWheelEvent e) { if (scrollPane.getVerticalScrollBar().isShowing()) { if (e.getSource() != scrollPane) { e.setSource(scrollPane); scrollPane.dispatchEvent(e); } } else { scrollPane.getParent().dispatchEvent(e); } } }; scrollPane.addMouseWheelListener(listener); scrollPane.getViewport().getView().addMouseWheelListener(listener); }
public void mouseWheelMoved(MouseWheelEvent e) { // Mouse wheel zooming takes precedence over scrolling if (isMouseZoomingEnabled() && e.getSource() == InteractiveCanvasComponent.this) return; // Change the ScrollBar value if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) { int unitsToScroll = e.getUnitsToScroll(); int direction = unitsToScroll < 0 ? -1 : 1; if (unitsToScroll != 0) { int increment = scrollBar.getUnitIncrement(direction); int oldValue = scrollBar.getValue(); int newValue = oldValue + increment * unitsToScroll; newValue = Math.max(Math.min(newValue, scrollBar.getMaximum() - scrollBar.getVisibleAmount()), scrollBar.getMinimum()); if (oldValue != newValue) scrollBar.setValue(newValue); } } }
@Override public void mouseWheelMoved(MouseWheelEvent me) { Point2D mouse = me.getPoint(); Point2D center = this.getVisViewer().getCenter(); int amount = me.getWheelRotation(); if(zoomAtMouse) { if(amount > 0) { scaler.scale(this.getVisViewer(), out, mouse); } else if(amount < 0) { scaler.scale(this.getVisViewer(), in, mouse); } } else { if(amount > 0) { scaler.scale(this.getVisViewer(), out, center); } else if(amount < 0) { scaler.scale(this.getVisViewer(), in, center); } } me.consume(); }
@Override public void mouseWheelMoved(MouseWheelEvent e) { if (e.isControlDown()) { ZoomUtility.changeZoom(e.getPreciseWheelRotation()); //TODO position according mouse location JViewport viewPort = (JViewport) SwingUtilities .getAncestorOfClass(JViewport.class, this); if (viewPort != null) { Rectangle view = viewPort.getViewRect(); view.x = ZoomUtility.get(e.getX()); view.y = ZoomUtility.get(e.getY()); this.scrollRectToVisible(view); } } else if (getParent() != null) { getParent().dispatchEvent(e); } repaint(); }
@Override public void mouseWheelMoved(MouseWheelEvent e) { synchronized (lock) { int d = e.getWheelRotation(); if (d < 0) { curDir = ScrollDirection.UP; } else if (d > 0) { curDir = ScrollDirection.DOWN; } else { curDir = ScrollDirection.NONE; } } }
public final void mouseWheelMoved(MouseWheelEvent e) { int notches = e.getWheelRotation(); int button = 0; if (notches < 0) { button = 4; } else { button = 5; } game.gameQueue.add(new MousePressEvent(SparkEvents.E_MOUSEDOWN, button, e.getX(), e.getY())); }
public static void handleWheelScrolling(ScrollPane sp, MouseWheelEvent e) { if (log.isLoggable(PlatformLogger.Level.FINER)) { log.finer("x = " + e.getX() + ", y = " + e.getY() + ", src is " + e.getSource()); } int increment = 0; if (sp != null && e.getScrollAmount() != 0) { Adjustable adj = getAdjustableToScroll(sp); if (adj != null) { increment = getIncrementFromAdjustable(adj, e); if (log.isLoggable(PlatformLogger.Level.FINER)) { log.finer("increment from adjustable(" + adj.getClass() + ") : " + increment); } scrollAdjustable(adj, increment); } } }
public static int getIncrementFromAdjustable(Adjustable adj, MouseWheelEvent e) { if (log.isLoggable(PlatformLogger.Level.FINE)) { if (adj == null) { log.fine("Assertion (adj != null) failed"); } } int increment = 0; if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) { increment = e.getUnitsToScroll() * adj.getUnitIncrement(); } else if (e.getScrollType() == MouseWheelEvent.WHEEL_BLOCK_SCROLL) { increment = adj.getBlockIncrement() * e.getWheelRotation(); } return increment; }
/** * Recebe o evento de MouseWheel do quadro de edição se não consumido. * * @param e */ public void ScrollMove(MouseWheelEvent e) { int x = parente.getHorizontalScrollBar().getValue(); int y = parente.getVerticalScrollBar().getValue(); int vpw = parente.getViewport().getWidth() - getMargem(); int vph = parente.getViewport().getHeight() - getMargem(); int p1 = e.getX() + getMargem() - x; int p2 = e.getY() + getMargem() - y; boolean ambos = (p2 > vph && p1 > vpw); p1 = vpw - (p1); p2 = vph - (p2); if (p1 < p2 || ambos) { parente.getVerticalScrollBar().setValue(y + 2 * e.getUnitsToScroll()); } if (p2 < p1 || ambos) { parente.getHorizontalScrollBar().setValue(x + 2 * e.getUnitsToScroll()); } e.consume(); }
/** * */ protected void mouseWheelMoved(MouseWheelEvent e) { if (e.getWheelRotation() < 0) { graphComponent.zoomIn(); } else { graphComponent.zoomOut(); } status(mxResources.get("scale") + ": " + (int) (100 * graphComponent.getGraph().getView().getScale()) + "%"); }
public static void main(final String[] args) { final int mask = InputEvent.META_DOWN_MASK | InputEvent.CTRL_MASK; Frame f = new Frame(); MouseEvent mwe = new MouseWheelEvent(f, 1, 1, mask, 1, 1, 1, 1, 1, true, 1, 1, 1); MouseEvent mdme = new MenuDragMouseEvent(f, 1, 1, mask, 1, 1, 1, 1, 1, true, null, null); MouseEvent me = new MouseEvent(f, 1, 1, mask, 1, 1, 1, 1, 1, true, MouseEvent.NOBUTTON); test(f, mwe); test(f, mdme); test(f, me); if (FAILED) { throw new RuntimeException("Wrong mouse event"); } }
public static void main(String[] args) { Frame frame = new Frame(); Panel panel = new Panel(); frame.add(panel); MouseWheelEvent event = new MouseWheelEvent(panel, 0, 0, 0, 0, 0, 0, 0, 0, false, 0, 0, 2, // wheelRotation PRECISE_WHEEL_ROTATION); // preciseWheelRotation MouseWheelEvent convertedEvent = (MouseWheelEvent) SwingUtilities. convertMouseEvent(event.getComponent(), event, null); if (convertedEvent.getPreciseWheelRotation() != PRECISE_WHEEL_ROTATION) { throw new RuntimeException("PreciseWheelRotation field is not copied!"); } }
/** * Pass mouse events into the event queue. * * @param mouse mouse event received */ public void mouseWheelMoved(final MouseWheelEvent mouse) { int modifiers = mouse.getModifiersEx(); boolean eventMouse1 = false; boolean eventMouse2 = false; boolean eventMouse3 = false; boolean mouseWheelUp = false; boolean mouseWheelDown = false; if ((modifiers & MouseEvent.BUTTON1_DOWN_MASK) != 0) { eventMouse1 = true; } if ((modifiers & MouseEvent.BUTTON2_DOWN_MASK) != 0) { eventMouse2 = true; } if ((modifiers & MouseEvent.BUTTON3_DOWN_MASK) != 0) { eventMouse3 = true; } mouse1 = eventMouse1; mouse2 = eventMouse2; mouse3 = eventMouse3; int x = screen.textColumn(mouse.getX()); int y = screen.textRow(mouse.getY()); if (mouse.getWheelRotation() > 0) { mouseWheelDown = true; } if (mouse.getWheelRotation() < 0) { mouseWheelUp = true; } TMouseEvent mouseEvent = new TMouseEvent(TMouseEvent.Type.MOUSE_DOWN, x, y, x, y, mouse1, mouse2, mouse3, mouseWheelUp, mouseWheelDown); synchronized (eventQueue) { eventQueue.add(mouseEvent); } synchronized (listener) { listener.notifyAll(); } }
@Override public void mouseWheelMoved(MouseWheelEvent event) { if (event.isControlDown() && (getCellRenderer() instanceof PdfCellRenderer)) { setThumbnailSize( Math.max(10, getThumbnailSize() - zoomSpeed * event.getWheelRotation()) ); } else if (getParent() != null) { getParent().dispatchEvent(event); } }
/** * Creates a mouse wheel event. * @param id the event id * @param event the Swing event */ public WidgetMouseWheelEvent(long id, MouseWheelEvent event) { this.id = id; this.event = event; x = event.getX (); y = event.getY (); }
@Override public void mouseWheelMoved(MouseWheelEvent e) { DocumentViewOp op = op(); if (op != null && scrollPane != null ) { op.mouseWheelMoved(e, this); } }
@Override public void mouseWheelMoved(MouseWheelEvent arg0) {// zoom mouse wheel if (arg0.getPreciseWheelRotation() < 0) { proj.getFrame().getZoomControl().spinnerModel .setValue(proj.getFrame().getZoomControl().spinnerModel.getNextValue()); } else if (arg0.getPreciseWheelRotation() > 0) { proj.getFrame().getZoomControl().spinnerModel .setValue(proj.getFrame().getZoomControl().spinnerModel.getPreviousValue()); } }
public void mouseWheelMoved(MouseWheelEvent e) { if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) { zoom(e.getX(), e.getY(), Math.pow(mouseZoomingFactor, -e.getUnitsToScroll())); repaintDirty(); } }
private void setWheelScrollHandler(final JScrollBar scrollBar) { chart.addMouseWheelListener(new MouseWheelListener() { public void mouseWheelMoved(MouseWheelEvent e) { scroll(scrollBar, e); } }); }
public void mouseWheelMoved(MouseWheelEvent e) { double rotation = e.getWheelRotation(); double sensitivity = 0.05; double zx, zy; double scaling = zoom > 1 ? 1 : renderer.getScaleFactor(); zoom += rotation * sensitivity * scaling; zoomPos = renderer.screenToWorld(e.getPoint()); zx = zoomPos.getX() * scaling; zy = zoomPos.getY() * scaling; zoomPos.setLocation(zx, zy); renderer.scale(zoom, zoomPos); renderer.repaint(); }
@Override public void mouseWheelMoved( MouseWheelEvent e ) { if( !isEnabled() ) return; int rotation = e.getWheelRotation(); if( (rotation < 0 && isScrollLeft) || (rotation > 0 && !isScrollLeft ) ) { int increment = getDefaultIncrement(); increment *= Math.abs( rotation ); scroll( increment ); e.consume(); } }
@Override public final void mouseWheelMoved( MouseWheelEvent e ) { scrollLeft.mouseWheelMoved( e ); if( e.isConsumed() ) return; scrollRight.mouseWheelMoved( e ); }
private static void scroll(JScrollBar scroller, MouseWheelEvent event) { if (event.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) { int direction = event.getUnitsToScroll() < 0 ? -1 : 1; int increment = scroller.getUnitIncrement(direction); int amount = event.getScrollAmount(); int oldValue = scroller.getValue(); int newValue = oldValue + increment * amount * direction; if (oldValue != newValue) scroller.setValue(newValue); event.consume(); } }
public void mouseWheelMoved(MouseWheelEvent e) { if (e.isControlDown()) { if (e.getWheelRotation() < 0) { getEditor().ZoomMais(); } else { getEditor().ZoomMenos(); } e.consume(); } }
public void processMouseEvent(MouseEvent e) { if (e instanceof MouseWheelEvent) { Component target = JCheckTree.this.getParent(); if (target == null || !(target instanceof JViewport)) target = JCheckTree.this; MouseEvent mwe = SwingUtilities.convertMouseEvent( JCheckTree.this, (MouseWheelEvent)e, target); target.dispatchEvent((MouseWheelEvent)mwe); } else { super.processMouseEvent((MouseEvent)e); } }
public void processMouseEvent(MouseEvent e) { if (e instanceof MouseWheelEvent) { Component target = JExtendedTree.this.getParent(); if (target == null || !(target instanceof JViewport)) target = JExtendedTree.this; MouseEvent mwe = SwingUtilities.convertMouseEvent( JExtendedTree.this, (MouseWheelEvent)e, target); target.dispatchEvent((MouseWheelEvent)mwe); } else { super.processMouseEvent((MouseEvent)e); } }
@Override public void mouseWheelMoved(MouseWheelEvent e) { JScrollBar scrollBar = mainScrollPane.getVerticalScrollBar(); if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) { int totalScrollAmount = e.getUnitsToScroll() * scrollBar.getUnitIncrement(); scrollBar.setValue(scrollBar.getValue() + totalScrollAmount); } }
@Override public void mouseWheelMoved(MouseWheelEvent mouseWheelEvent) { if (mouseWheelEvent.getScrollAmount() == 0) { return; } vertical.setValue(vertical.getValue() + 3 * mouseWheelEvent.getWheelRotation()); }
@Override public void mouseWheelMoved(MouseWheelEvent event) { if (react) { int amount = event.getWheelRotation(); if (amount > 0) { model.setVerticalOffset(Math.min(model.getVerticalOffset() + amount * 5, (model.getAmountVoters() - 1) * model.getElementHeight() * 2)); view.update(); } else { model.setVerticalOffset(Math.max(model.getVerticalOffset() + amount * 5, 0)); view.update(); } } }
public void mouseWheelMoved(MouseWheelEvent evt) { if (enableCustomZoom) { int n = evt.getWheelRotation(); zoomFactor *= ((n < 0) ? (-n * 1.1f) : (n * 0.9f)); repaint(); } else { // TODO: Add super signal } }
@Override public void mouseWheelMoved(MouseWheelEvent e) { if (e.getWheelRotation() == 0) { return; } for (int i = 0; i < base.dimension; i++) { int s = baseGrid.getAxis(i).getLinearSlices(); double r = e.getWheelRotation() > 0 ? 1.0 / s : -1.0 / s; if (r > -0.5) { double d = (base.upperBound[i] - base.lowerBound[i]) * r; base.lowerBound[i] -= d; base.upperBound[i] += d; } } for (int i = 0; i < base.dimension; i++) { base.setPrecisionUnit(i); } base.initBaseCoord(); graphics.projection.reset(); baseGrid.setBase(base); repaint(); e.consume(); }
public void mouseWheelMoved(MouseWheelEvent e) { //System.out.println("PlotCanvas.mouseWheelMoved"); /* * System.out.println("PlotCanvas.mouseWheelMoved"); * System.out.println(" mouseClick = [" + mouseClick[0] + " " + * mouseClick[1] + "]"); System.out.println(" mouseCurent = [" + * mouseCurent[0] + " " + mouseCurent[1] + "]"); */ mouseCurent[0] = e.getX(); mouseCurent[1] = e.getY(); e.consume(); int[] origin; double[] ratio; // double factor = 1.5; //switch (ActionMode) { // case ZOOM: if (e.getWheelRotation() == -1) { if (Array.max(((AWTDrawer) draw).projection.totalScreenRatio) > .01) { origin = new int[]{(int) (mouseCurent[0] - getWidth() / 3/* (2*factor) */), (int) (mouseCurent[1] - getHeight() / 3/* (2*factor) */)}; ratio = new double[]{0.666/* 1/factor, 1/factor */, 0.666}; draw.dilate(origin, ratio); } } else { if (Array.max(((AWTDrawer) draw).projection.totalScreenRatio) < 1) { origin = new int[]{(int) (mouseCurent[0] - getWidth() / 1.333/* (2/factor) */), (int) (mouseCurent[1] - getHeight() / 1.333/* (2/factor) */) }; ratio = new double[]{1.5, 1.5 /* factor, factor */}; draw.dilate(origin, ratio); } else /* (Array.max(((AWTDrawer) draw).projection.totalScreenRatio) >= 1)*/ { ((AWTDrawer) draw).projection.initBaseCoordsProjection(true); } } repaint(); // break; //} }
@Override public void mouseWheelMoved(MouseWheelEvent e) { if (wheelZoomEnabled) { int rotation = JMapViewer.zoomReverseWheel ? -e.getWheelRotation() : e.getWheelRotation(); map.setZoom(map.getZoom() - rotation, e.getPoint()); } }
@Override public void mouseWheelMoved(MouseWheelEvent e) { int rotations = e.getWheelRotation(); Point2D.Double loc = mapComponent.userToWorldSpace(e.getPoint()); for (int i = 0; i < Math.abs(rotations); i++) { if (rotations < 0) { mapComponent.zoomIn(loc); } else { mapComponent.zoomOut(loc); } } }
@Override public void mouseWheelMoved(MouseWheelEvent e) { if (!isMyEvent(e)) { return; } if (getJGraph().getMode() == PAN_MODE) { int change = -e.getWheelRotation(); getJGraph().changeScale(change); } else { getJGraph().getParent().dispatchEvent(e); } }
public PrintPreviewComponent(RamusPrintable printable, int columnCount, GUIFramework framework) { this.printable = printable; this.columnCount = columnCount; this.framework = framework; MouseWheelListener l = new MouseWheelListener() { @Override public void mouseWheelMoved(MouseWheelEvent e) { if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) { if (e.getModifiers() == KeyEvent.CTRL_MASK) { double r = e.getWheelRotation(); double zoom = getZoom() - 0.2 * r; setCurrentZoom(zoom); } else { Rectangle rect = getVisibleRect(); scrollRectToVisible(new Rectangle(rect.x, rect.y + e.getWheelRotation() * 150, rect.width, rect.height)); } } } }; this.addMouseWheelListener(l); layout = Options.getInteger("PREVIW_LAYOUT", PREV_LAYOUT_GRID); SwingUtilities.invokeLater(new Runnable() { @Override public void run() { setCurrentZoom(Options.getDouble("PREV_ZOOM", 1d)); } }); setCurrentZoom(Options.getDouble("PREV_ZOOM", 1d)); }
