@Override
  public void propertyChanged(@NotNull VirtualFilePropertyEvent event) {
    if (!event.isFromRefresh()) return;

    if (VirtualFile.PROP_WRITABLE.equals(event.getPropertyName())) {
      if (((Boolean)event.getOldValue()).booleanValue()) {
        closeAnnotations(event.getFile());
      }
    }
  }
@Override
  public void propertyChanged(@NotNull VirtualFilePropertyEvent event)