Font () { return ReadAction.compute(() -> { float fontSize = UISettingsUtils.getInstance().getScaledEditorFontSize(); if (UISettings.getInstance().getPresentationMode()) { fontSize -= 4f; } EditorColorsScheme scheme = EditorColorsManager.getInstance().getGlobalScheme(); Font editorFont = scheme.getFont(EditorFontType.PLAIN); if (editorFont.getSize() != fontSize) { editorFont = editorFont.deriveFont(fontSize); } return UIUtil.getFontWithFallback(editorFont); }); }