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

EA-20080

Browse Source
This commit is contained in:
Alexey Kudravtsev
2010-08-20 11:57:07 +04:00
parent 2940572cea
commit f4e5563b7a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/codeInsight/navigation/CtrlMouseHandler.java
+1 -1
View File
@@ -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();