mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
changes reverted: already opened class tab is not selected
This commit is contained in:
@@ -161,6 +161,7 @@ public final class NavigationUtil {
|
||||
final FileEditorManager fem = FileEditorManager.getInstance(elt.getProject());
|
||||
if (!fem.isFileOpen(vFile)) {
|
||||
fem.openFile(vFile, true, searchForOpen);
|
||||
return true;
|
||||
}
|
||||
|
||||
final TextRange range = elt.getTextRange();
|
||||
@@ -171,7 +172,9 @@ public final class NavigationUtil {
|
||||
if (editor instanceof TextEditor) {
|
||||
final Editor text = ((TextEditor)editor).getEditor();
|
||||
final int offset = text.getCaretModel().getOffset();
|
||||
|
||||
if (range.contains(offset)) {
|
||||
fem.openFile(vFile, true, searchForOpen);
|
||||
return true;
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user