@Override
  public void contentsChanged(@NotNull VirtualFileEvent event) {
    VirtualFile file = event.getFile();
    if (!event.isFromRefresh()) return;
    if (!file.isWritable()) {
      closeAnnotations(file);
    }
  }
@Override
  public void contentsChanged(@NotNull VirtualFileEvent event)