@Override
      public void mouseWheelMoved(MouseWheelEvent e) {
        if (e.isShiftDown()) return; // ignore horizontal scrolling
        updateStickToEndState(editor, false);
      }
@Override
      public void mouseWheelMoved(MouseWheelEvent e)