void (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); }