void (@NotNull MouseWheelEvent e) { if (EVENT_LOG.isDebugEnabled()) { EVENT_LOG.debug(e.toString()); } if (mySettings.isWheelFontChangeEnabled()) { if (EditorUtil.isChangeFontSize(e)) { boolean isWheelFontChangePersistent = EditorSettingsExternalizable.getInstance().isWheelFontChangePersistent() && !UISettings.getInstance().getPresentationMode(); float shift = e.getWheelRotation(); float size = myScheme.getEditorFontSize2D(); if (isWheelFontChangePersistent) { size = EditorColorsManager.getInstance().getGlobalScheme().getEditorFontSize2D(); } size -= shift; if (size >= MIN_FONT_SIZE) { if (isWheelFontChangePersistent) { setFontSize(UISettingsUtils.getInstance().scaleFontSize(size), SwingUtilities.convertPoint(this, e.getPoint(), getViewport())); adjustGlobalFontSize(size); } else { setFontSize(size, SwingUtilities.convertPoint(this, e.getPoint(), getViewport())); } } return; } } super.processMouseWheelEvent(e); }