private void boundaryReached(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);
    }
  }
private void boundaryReached(MouseWheelEvent event)