@Override
        public void mouseWheelMoved(MouseWheelEvent e) {
          EditorEx editor = textEditorHolder.getEditor();
          JScrollPane scrollPane = ComponentUtil.getParentOfType(JScrollPane.class, editor.getContentComponent());
          MouseEventAdapter.redispatch(e, scrollPane);
        }
@Override
        public void mouseWheelMoved(MouseWheelEvent e)