void (@NotNull final PsiTreeChangeEvent event) { if (PsiTreeChangeEvent.PROP_ROOTS.equals(event.getPropertyName())) { myAlarm.cancelRequest(myRefreshPropertiesRequest); myAlarm.addRequest(myRefreshPropertiesRequest, 500, ModalityState.stateForComponent(GuiEditor.this)); } }