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

handling non-smart aware editors

Browse Source
This commit is contained in:
Dmitry Avdeev
2013-01-25 15:02:50 +04:00
parent 9a932c4c5e
commit cd69756ef2
1 changed files with 15 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/FileEditorManagerImpl.java
+15 -2
View File
@@ -45,6 +45,7 @@ import com.intellij.openapi.fileTypes.FileTypeListener;
import com.intellij.openapi.fileTypes.FileTypeManager;
import com.intellij.openapi.project.DumbAwareRunnable;
import com.intellij.openapi.project.DumbService;
import com.intellij.openapi.project.PossiblyDumbAware;
import com.intellij.openapi.project.Project;
import com.intellij.openapi.project.impl.ProjectImpl;
import com.intellij.openapi.roots.ModuleRootAdapter;
@@ -148,7 +149,8 @@ public class FileEditorManagerImpl extends FileEditorManagerEx implements Projec
}
public static boolean isDumbAware(FileEditor editor) {
return Boolean.TRUE.equals(editor.getUserData(DUMB_AWARE));
return Boolean.TRUE.equals(editor.getUserData(DUMB_AWARE)) &&
(!(editor instanceof PossiblyDumbAware) || ((PossiblyDumbAware)editor).isDumbAware());
}
//-------------------------------------------------------------------------------
@@ -791,7 +793,18 @@ public class FileEditorManagerImpl extends FileEditorManagerEx implements Projec
state = editorHistoryManager.getState(file, provider);
}
if (state != null) {
editor.setState(state);
if (!isDumbAware(editor)) {
final FileEditorState finalState = state;
DumbService.getInstance(getProject()).runWhenSmart(new Runnable() {
@Override
public void run() {
editor.setState(finalState);
}
});
}
else {
editor.setState(state);
}
}
}