Font () { Font editorFont = myEditor.getColorsScheme().getFont(EditorFontType.PLAIN); float editorFontSize = editorFont.getSize2D(); float delta = (float)AdvancedSettings.getInt("editor.gutter.linenumber.font.size.delta"); return editorFont.deriveFont(Math.max(1f, editorFontSize + delta)); }