void () { if (myTextArea != null) { if (Registry.is("ide.find.use.editor.font", false)) { myTextArea.setFont(EditorUtil.getEditorFont()); } else { myTextArea.setFont(UIManager.getFont("TextField.font")); } } }