From 5e446f2a5e8ca2ee3109ca2676a9ade2691b3dfb Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Thu, 29 Dec 2011 13:47:55 +0100
Subject: [PATCH] check for project disposed (IDEA-78574)

---
 .../intellij/openapi/fileEditor/impl/EditorWindow.java    | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorWindow.java b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorWindow.java
index f45103218bae..b10487496826 100644
--- a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorWindow.java
+++ b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorWindow.java
@@ -29,6 +29,7 @@ import com.intellij.openapi.fileEditor.FileEditorManagerListener;
 import com.intellij.openapi.fileEditor.TextEditor;
 import com.intellij.openapi.fileEditor.ex.FileEditorManagerEx;
 import com.intellij.openapi.fileTypes.FileTypes;
+import com.intellij.openapi.project.Project;
 import com.intellij.openapi.ui.Splitter;
 import com.intellij.openapi.util.*;
 import com.intellij.openapi.vfs.VirtualFile;
@@ -294,9 +295,12 @@ public class EditorWindow {
           editorManager.notifyPublisher(new Runnable() {
             @Override
             public void run() {
-              final FileEditorManagerListener afterPublisher =
-                editorManager.getProject().getMessageBus().syncPublisher(FileEditorManagerListener.FILE_EDITOR_MANAGER);
+              final Project project = editorManager.getProject();
+              if (!project.isDisposed()) {
+                final FileEditorManagerListener afterPublisher =
+                  project.getMessageBus().syncPublisher(FileEditorManagerListener.FILE_EDITOR_MANAGER);
                 afterPublisher.fileClosed(editorManager, file);
+              }
             }
           });