MouseWheelEvent (@NotNull MouseWheelEvent event) { return MouseEventAdapter.convert(event, (JComponent)event.getSource(), event.getID(), event.getWhen(), UIUtil.getAllModifiers(event) | InputEvent.SHIFT_DOWN_MASK, event.getX(), event.getY()); }