void (MouseWheelEvent event) { if (event.isShiftDown()) { return; } final var actualPanel = htmlPanelSupplier.get(); if (actualPanel == null) { return; } if (event.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) { final var multiplier = Registry.intValue("ide.browser.jcef.osr.wheelRotation.factor", 1); final var amount = event.getScrollAmount() * event.getWheelRotation() * multiplier; actualPanel.scrollBy(0, amount); } }