diff options
| author | Juergen Haug | 2019-01-28 15:15:09 +0000 |
|---|---|---|
| committer | Juergen Haug | 2019-01-28 18:45:31 +0000 |
| commit | f81132ac97727eb3f8acf796cec7a29f75b0b5cd (patch) | |
| tree | b87c8a1606a25022fa83c2ff626e1e3031199a25 /plugins/org.eclipse.etrice.ui.commands/plugin.xml | |
| parent | f209b1ff7ff93b7ab83cef70643a514a156d600f (diff) | |
| download | org.eclipse.etrice-f81132ac97727eb3f8acf796cec7a29f75b0b5cd.tar.gz org.eclipse.etrice-f81132ac97727eb3f8acf796cec7a29f75b0b5cd.tar.xz org.eclipse.etrice-f81132ac97727eb3f8acf796cec7a29f75b0b5cd.zip | |
Bug 541030 - [diagrams] Add action Open in Model
Change-Id: I060e8b78f9ff70ab13ce0411554094ec746e80c7
Diffstat (limited to 'plugins/org.eclipse.etrice.ui.commands/plugin.xml')
| -rw-r--r-- | plugins/org.eclipse.etrice.ui.commands/plugin.xml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/plugins/org.eclipse.etrice.ui.commands/plugin.xml b/plugins/org.eclipse.etrice.ui.commands/plugin.xml index 2a96967f8..f429711d7 100644 --- a/plugins/org.eclipse.etrice.ui.commands/plugin.xml +++ b/plugins/org.eclipse.etrice.ui.commands/plugin.xml @@ -117,6 +117,12 @@ sequence="M3+M" schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"> </key> + <key + commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration" + contextId="org.eclipse.etrice.ui.common.base.context" + schemeId="org.eclipse.ui.defaultAcceleratorConfiguration" + sequence="F3"> + </key> </extension> <extension point="org.eclipse.ui.menus"> @@ -204,5 +210,25 @@ </command> </menuContribution> </extension> + <extension + point="org.eclipse.ui.handlers"> + <handler + class="org.eclipse.etrice.ui.commands.handlers.OpenDeclaration" + commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration"> + <activeWhen> + <with + variable="activeEditorId"> + <or> + <equals + value="org.eclipse.etrice.ui.behavior.editor.BehaviorEditor"> + </equals> + <equals + value="org.eclipse.etrice.ui.structure.editor.StructureEditor"> + </equals> + </or> + </with> + </activeWhen> + </handler> + </extension> </plugin> |