MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'amakeev/pm'

Browse Source
This commit is contained in:
Anton Makeev
2019-03-19 13:00:58 +01:00
parent 0e8a63cf3f 9557d84c50
commit aa46ec6f01
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/core-api/src/com/intellij/openapi/vfs/VfsUtilCore.java
+5
View File
@@ -411,6 +411,11 @@ public class VfsUtilCore {
return VirtualFileManager.constructUrl(URLUtil.FILE_PROTOCOL, path);
}
@NotNull
public static String fileToUrl(@NotNull File file) {
return pathToUrl(FileUtil.toSystemIndependentName(file.getPath()));
}
public static List<File> virtualToIoFiles(@NotNull Collection<? extends VirtualFile> files) {
return ContainerUtil.map2List(files, file -> virtualToIoFile(file));
}