void (@NotNull EditorFactoryEvent event) { Editor editor = event.getEditor(); Project project = editor.getProject(); if (project == null) return; CoverageDataAnnotationsManager manager = project.getServiceIfCreated(CoverageDataAnnotationsManager.class); if (manager == null) return; Runnable request = manager.myRequests.remove(editor); if (request != null) { manager.getRequestsAlarm().cancelRequest(request); } manager.getRequestsAlarm().addRequest(() -> manager.clearEditor(editor), 0); }