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

IDEA-91621 Refresh files after run configuration is finished

Browse Source
This commit is contained in:
Vassiliy Kudryashov
2012-10-11 17:19:05 +04:00
parent 822068fe5f
commit b0d6f71ea4
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/execution/impl/ExecutionManagerImpl.java
+2
View File
@@ -43,6 +43,7 @@ import com.intellij.openapi.ui.Messages;
import com.intellij.openapi.util.Disposer;
import com.intellij.openapi.util.Pair;
import com.intellij.openapi.util.Trinity;
import com.intellij.openapi.vfs.VirtualFileManager;
import com.intellij.ui.docking.DockManager;
import com.intellij.util.Alarm;
import org.jetbrains.annotations.NotNull;
@@ -401,6 +402,7 @@ public class ExecutionManagerImpl extends ExecutionManager implements ProjectCom
if (myProject.isDisposed()) return;
myProject.getMessageBus().syncPublisher(EXECUTION_TOPIC).processTerminated(myProfile, myProcessHandler);
VirtualFileManager.getInstance().refresh(true);
}
@Override