void (@NotNull VirtualFilePropertyEvent event) { if (!event.isFromRefresh()) return; if (VirtualFile.PROP_WRITABLE.equals(event.getPropertyName())) { if (((Boolean)event.getOldValue()).booleanValue()) { closeAnnotations(event.getFile()); } } }