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

assertion on closed project fixed

Browse Source
This commit is contained in:
Kirill Kalishev
2011-02-10 20:56:40 +03:00
parent 34d7abb213
commit b777030fcb
1 changed files with 2 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
+2 -2
View File
@@ -723,7 +723,7 @@ public class FileEditorManagerImpl extends FileEditorManagerEx implements Projec
final IdeFocusManager focusManager = IdeFocusManager.getInstance(myProject);
if (newEditorCreated) {
focusManager.doWhenFocusSettlesDown(new Runnable() {
focusManager.doWhenFocusSettlesDown(new ExpirableRunnable.ForProject(myProject) {
@Override
public void run() {
if (isFileOpen(file)) {
@@ -1250,7 +1250,7 @@ public class FileEditorManagerImpl extends FileEditorManagerEx implements Projec
final FileEditorManagerEvent event =
new FileEditorManagerEvent(this, oldSelectedFile, oldSelectedEditor, newSelectedFile, newSelectedEditor);
final FileEditorManagerListener publisher = getProject().getMessageBus().syncPublisher(FileEditorManagerListener.FILE_EDITOR_MANAGER);
IdeFocusManager.getInstance(myProject).doWhenFocusSettlesDown(new Runnable() {
IdeFocusManager.getInstance(myProject).doWhenFocusSettlesDown(new ExpirableRunnable.ForProject(myProject) {
@Override
public void run() {
publisher.selectionChanged(event);