From c6e4e760a74f3bd6225662990524b277a2b23550 Mon Sep 17 00:00:00 2001
From: Alexey Kudravtsev <cdr@intellij.com>
Date: Tue, 26 Feb 2013 16:10:35 +0400
Subject: [PATCH] already disposed

---
 .../openapi/fileEditor/impl/text/TextEditorComponent.java   | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorComponent.java b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorComponent.java
index 89129280b1f8..1e7126451025 100644
--- a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorComponent.java
+++ b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorComponent.java
@@ -244,8 +244,10 @@ class TextEditorComponent extends JBLoadingPanel implements DataProvider{
    * changes its file type.
    */
   private void updateHighlighters(){
-    final EditorHighlighter highlighter = EditorHighlighterFactory.getInstance().createEditorHighlighter(myProject, myFile);
-    ((EditorEx)myEditor).setHighlighter(highlighter);
+    if (!myProject.isDisposed()) {
+      final EditorHighlighter highlighter = EditorHighlighterFactory.getInstance().createEditorHighlighter(myProject, myFile);
+      ((EditorEx)myEditor).setHighlighter(highlighter);
+    }
   }
 
   /**