From f4e5563b7a970fc347b3e51a7277defeca8ce887 Mon Sep 17 00:00:00 2001
From: Alexey Kudravtsev <cdr@intellij.com>
Date: Thu, 19 Aug 2010 18:30:28 +0400
Subject: [PATCH] EA-20080

---
 .../com/intellij/codeInsight/navigation/CtrlMouseHandler.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/lang-impl/src/com/intellij/codeInsight/navigation/CtrlMouseHandler.java b/platform/lang-impl/src/com/intellij/codeInsight/navigation/CtrlMouseHandler.java
index d79634d1e78d..5ea0de323a9c 100644
--- a/platform/lang-impl/src/com/intellij/codeInsight/navigation/CtrlMouseHandler.java
+++ b/platform/lang-impl/src/com/intellij/codeInsight/navigation/CtrlMouseHandler.java
@@ -138,7 +138,7 @@ public class CtrlMouseHandler extends AbstractProjectComponent {
 
   private final EditorMouseMotionListener myEditorMouseMotionListener = new EditorMouseMotionAdapter() {
     public void mouseMoved(final EditorMouseEvent e) {
-      if (e.isConsumed() || myProject.isDisposed()) {
+      if (e.isConsumed() || !myProject.isInitialized()) {
         return;
       }
       MouseEvent mouseEvent = e.getMouseEvent();