void (long curPageNumber) { callScheduledUpdate(); if (!myEdtRangeSearchEventsListeners.isEmpty()) { if (inBackground) { ApplicationManager.getApplication().invokeLater(() -> { fireSearchStopped(); }); } else { fireSearchStopped(); } } }