void (@NotNull DocumentEvent.EventType type, boolean adjustSelection, boolean now) { myUpdatingAlarm.cancelAllRequests(); myUpdatingAlarm.addRequest(() -> { SearchableOptionsRegistrar registrar = searchableOptionRegistrar; if (registrar != null) update(registrar, type, adjustSelection, now); }, 100, ModalityState.any()); }