void (@NotNull PsiTreeChangeEvent event) { String propertyName = event.getPropertyName(); if (!propertyName.equals(PsiTreeChangeEvent.PROP_WRITABLE)) { Object oldValue = event.getOldValue(); if (oldValue instanceof VirtualFile vf && shouldBeIgnored(vf)) { // ignore workspace.xml return; } myFileStatusMap.markAllFilesDirty(event); } }