commit | dc5c58fdc0b229ea031f278965683ab4529a4ac9 | [log] [tgz] |
---|---|---|
author | Vladimir Piskarev <pisv@1c.ru> | Tue Jun 14 16:12:26 2022 +0300 |
committer | Vladimir Piskarev <pisv@1c.ru> | Tue Jun 14 16:12:26 2022 +0300 |
tree | 4c768840c4c0f721ca69aedc7c9f9a4ea17f41a2 | |
parent | 1a41cd4ebb99e50c0c7dde4659c3df446ef8f3e3 [diff] |
Bug 579244 - LinkHelper must not activate editor that is already active
diff --git a/org.eclipse.handly.ui/src/org/eclipse/handly/ui/navigator/LinkHelper.java b/org.eclipse.handly.ui/src/org/eclipse/handly/ui/navigator/LinkHelper.java index 233e600..67cdd3c 100644 --- a/org.eclipse.handly.ui/src/org/eclipse/handly/ui/navigator/LinkHelper.java +++ b/org.eclipse.handly.ui/src/org/eclipse/handly/ui/navigator/LinkHelper.java
@@ -106,7 +106,7 @@ if (reference != null) { IEditorPart editor = reference.getEditor(true); - if (editor != null && editor != page.getActiveEditor()) + if (editor != null && editor != page.getActivePart()) { page.bringToTop(editor); editorUtility.revealElement(editor, element);