String (@NotNull VFileEvent event) { if (event instanceof VFilePropertyChangeEvent pce && ((VFilePropertyChangeEvent)event).getPropertyName().equals(VirtualFile.PROP_NAME)) { VirtualFile parent = pce.getFile().getParent(); String newName = (String)pce.getNewValue(); return parent == null ? newName : parent.getPath() + "/" + newName; } if (event instanceof VFileCopyEvent) { return ((VFileCopyEvent)event).getFile().getPath(); } if (event instanceof VFileMoveEvent vme) { String newName = vme.getFile().getName(); return vme.getNewParent().getPath() + "/" + newName; } return null; }