FilePath (@NotNull VirtualFilePointer filePointer) { String path = VirtualFileManager.extractPath(filePointer.getUrl()); if (StringUtil.isEmpty(path)) return null; // pointer disposed return VcsUtil.getFilePath(path, false); }