File tree Expand file tree Collapse file tree
java_execution/java_xdsml/plugins/org.gemoc.execution.sequential.javaxdsml.ide.ui Expand file tree Collapse file tree Original file line number Diff line number Diff line change 308308 </adapt >
309309 </definition >
310310 </extension >
311-
312- <extension
313- point =" org.eclipse.ui.menus" >
314- <menuContribution
315- allPopups =" false"
316- locationURI =" popup:#TextEditorContext?after=additions" >
317- <command
318- commandId =" fr.inria.diverse.melange.AddDSA"
319- style =" push" >
320- <visibleWhen
321- checkEnabled =" false" >
322- <reference
323- definitionId =" fr.inria.diverse.melange.Melange.Editor.opened" >
324- </reference >
325- </visibleWhen >
326- </command >
327- </menuContribution >
328- </extension >
329-
330- <extension
331- point =" org.eclipse.ui.commands" >
332- <command
333- id =" fr.inria.diverse.melange.AddDSA"
334- name =" Add DSA" >
335- </command >
336- </extension >
337-
338- <extension
339- point =" org.eclipse.ui.handlers" >
340- <handler
341- class =" org.gemoc.execution.sequential.javaxdsml.ide.ui.menu.AddDSA"
342- commandId =" fr.inria.diverse.melange.AddDSA" >
343- </handler >
344- </extension >
345-
346311</plugin >
You can’t perform that action at this time.
0 commit comments