void (float lineSpacing) { float oldLineSpacing = getLineSpacing(); float newLineSpacing = EditorFontsConstants.checkAndFixEditorLineSpacing(lineSpacing); myLineSpacing = newLineSpacing; if (oldLineSpacing != newLineSpacing) { reinitSettings(); } }