@Override
  public void mouseWheelMoved(MouseWheelEvent e) {
    if (!EditorSettingsExternalizable.getInstance().isWheelFontChangeEnabled() || !EditorUtil.isChangeFontSize(e)) {
      return;
    }

    int rotation = e.getWheelRotation();
    if (rotation == 0) return;
    int change = Math.abs(rotation);
    boolean increase = rotation <= 0;
    FontSize initial = DocumentationComponent.getQuickDocFontSize();
    FontSize newFontSize = initial;
    for (; change > 0; change--) {
      if (increase) {
        newFontSize = newFontSize.larger();
      }
      else {
        newFontSize = newFontSize.smaller();
      }
    }
    if (newFontSize == initial) {
      return;
    }

    DocumentationComponent.setQuickDocFontSize(newFontSize);
    DocFontSizePopup.update(newFontSize);
    mySizeConsumer.accept(newFontSize);
  }
@Override
  public void mouseWheelMoved(MouseWheelEvent e)