static void redispatchWheelEventsToDivider(@NotNull JPanel divider, @Nullable EditorHolder holder) {
    if (holder instanceof TextEditorHolder textEditorHolder) {
      divider.addMouseWheelListener(new MouseWheelListener() {
        @Override
        public void mouseWheelMoved(MouseWheelEvent e) {
          EditorEx editor = textEditorHolder.getEditor();
          JScrollPane scrollPane = ComponentUtil.getParentOfType(JScrollPane.class, editor.getContentComponent());
          MouseEventAdapter.redispatch(e, scrollPane);
        }
      });
    }
  }
static void redispatchWheelEventsToDivider(@NotNull JPanel divider, @Nullable EditorHolder holder)