void (@NotNull DocumentEvent e) { String newSearchString = getSearchPattern(); if (myNotFoundString != null) { boolean newPatternContainsPrevious = myNotFoundString.length() > 1 && newSearchString.contains(myNotFoundString); if (myHeader.canSetEverywhere() && myHeader.isEverywhere() && !newPatternContainsPrevious) { myNotFoundString = null; myHeader.autoSetEverywhere(false); return; } } scheduleRebuildList(SearchRestartReason.TEXT_CHANGED); }