void (@NotNull DocumentEvent e) { if (e.getType() == DocumentEvent.EventType.INSERT) { myTextArea.putClientProperty(JUST_CLEARED_KEY, null); } int rows = Math.min(Registry.get("ide.find.max.rows").asInteger(), myTextArea.getLineCount()); myTextArea.setRows(Math.max(1, Math.min(25, rows))); updateIconsLayout(); }