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

synchronously refresh skeletons after generation (may help against PY-2990)

Browse Source
This commit is contained in:
Dmitry Jemerov
2011-03-13 16:46:05 +01:00
parent 7c8f22d294
commit 556c3b8bcc
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/src/com/jetbrains/python/sdk/PythonSdkType.java
+4 -1
View File
@@ -533,7 +533,10 @@ public class PythonSdkType extends SdkType {
VirtualFile skeletonsVFile = LocalFileSystem.getInstance().refreshAndFindFileByPath(skeletonsPath);
assert skeletonsVFile != null;
skeletonsVFile.refresh(true, true);
if (indicator != null) {
indicator.setText("Reloading generated skeletons...");
}
skeletonsVFile.refresh(false, true);
}
private static String getSkeletonsPath(String bin_path) {