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

OpenAPI fixed

Browse Source
This commit is contained in:
Alexey Kudravtsev
2013-06-10 11:35:35 +04:00
parent b11651333a
commit 57c4367539
2 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/vcs-api/src/com/intellij/openapi/vcs/FilePath.java
+1 -1
View File
@@ -74,7 +74,7 @@ public interface FilePath {
*/ */
FileType getFileType(); FileType getFileType();
VirtualFile refresh(); void refresh();
void hardRefresh(); void hardRefresh();
platform/vcs-impl/src/com/intellij/openapi/vcs/FilePathImpl.java
+4 -5
View File
@@ -137,13 +137,11 @@ public class FilePathImpl implements FilePath {
} }
@Override @Override
public VirtualFile refresh() { public void refresh() {
VirtualFile virtualFile = myVirtualFile;
if (myLocal) { if (myLocal) {
VirtualFile virtualParent = getVirtualFileParent(); VirtualFile virtualParent = getVirtualFileParent();
myVirtualFile = virtualFile = virtualParent == null ? LocalFileSystem.getInstance().findFileByIoFile(myFile) : virtualParent.findChild(myName); myVirtualFile = virtualParent == null ? LocalFileSystem.getInstance().findFileByIoFile(myFile) : virtualParent.findChild(myName);
} }
return virtualFile;
} }
@Override @Override
@@ -214,7 +212,8 @@ public class FilePathImpl implements FilePath {
myVirtualFile = virtualFile = null; myVirtualFile = virtualFile = null;
} }
if (virtualFile == null) { if (virtualFile == null) {
virtualFile = refresh(); refresh();
virtualFile = myVirtualFile;
} }
detectFileType(virtualFile); detectFileType(virtualFile);
return virtualFile; return virtualFile;