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

EDT++

Browse Source
This commit is contained in:
Dmitry Jemerov
2010-02-09 14:48:00 +03:00
parent 3b3f1e6bb8
commit 4189b6e87e
1 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/codeInsight/navigation/CtrlMouseHandler.java
+11 -11
View File
@@ -328,14 +328,7 @@ public class CtrlMouseHandler extends AbstractProjectComponent {
}
@Nullable
private Info getInfoAt(final Editor editor, PsiFile file, LogicalPosition pos, BrowseMode browseMode) {
final int offset = editor.logicalPositionToOffset(pos);
int selStart = editor.getSelectionModel().getSelectionStart();
int selEnd = editor.getSelectionModel().getSelectionEnd();
if (offset >= selStart && offset < selEnd) return null;
private Info getInfoAt(final Editor editor, PsiFile file, int offset, BrowseMode browseMode) {
PsiElement targetElement = null;
if (browseMode == BrowseMode.TypeDeclaration) {
@@ -462,21 +455,28 @@ public class CtrlMouseHandler extends AbstractProjectComponent {
return;
}
final int offset = myEditor.logicalPositionToOffset(myPosition);
int selStart = myEditor.getSelectionModel().getSelectionStart();
int selEnd = myEditor.getSelectionModel().getSelectionEnd();
if (offset >= selStart && offset < selEnd) return;
ApplicationManager.getApplication().executeOnPooledThread(new Runnable() {
public void run() {
ApplicationManager.getApplication().runReadAction(new Runnable() {
public void run() {
doExecute(file);
doExecute(file, offset);
}
});
}
});
}
private void doExecute(PsiFile file) {
private void doExecute(PsiFile file, int offset) {
final Info info;
try {
info = getInfoAt(myEditor, file, myPosition, myBrowseMode);
info = getInfoAt(myEditor, file, offset, myBrowseMode);
}
catch (IndexNotReadyException e) {
showDumbModeNotification(myProject);