diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-25 19:55:10 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-25 19:55:10 +0200 |
commit | c3a6d4b9cf3657070d180aa65ddbf0459e880329 (patch) | |
tree | 780c4fc61578dcb309af53fb0c164c7627e51676 /Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml | |
parent | New configuration language parser WIP (diff) | |
parent | Scope unsat benchmarks (diff) | |
download | VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.gz VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.zst VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.zip |
Merge branch 'kris'
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml b/Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml index 099d6993..304df098 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml | |||
@@ -419,12 +419,20 @@ | |||
419 | point="org.eclipse.ui.menus"> | 419 | point="org.eclipse.ui.menus"> |
420 | <menuContribution | 420 | <menuContribution |
421 | allPopups="false" | 421 | allPopups="false" |
422 | locationURI="popup:org.eclipse.ui.popup.any?after=org.eclipse.viatra.addon.validation.runtime.ui.menu"> | 422 | locationURI="popup:hu.bme.mit.inf.dslreasoner.application.ui.menu"> |
423 | <command | 423 | <command |
424 | commandId="hu.bme.mit.inf.dslreasoner.application.ui.executescript" | 424 | commandId="hu.bme.mit.inf.dslreasoner.application.ui.executescript" |
425 | label="VIATRA Solver: Execute" | 425 | label="Execute Application Configuration" |
426 | style="push"> | 426 | style="push"> |
427 | </command> | 427 | </command> |
428 | </menuContribution> | 428 | </menuContribution> |
429 | <menuContribution | ||
430 | allPopups="false" | ||
431 | locationURI="popup:org.eclipse.ui.popup.any?after=org.eclipse.viatra.addon.validation.runtime.ui.menu"> | ||
432 | <menu | ||
433 | id="hu.bme.mit.inf.dslreasoner.application.ui.menu" | ||
434 | label="VIATRA Solver"> | ||
435 | </menu> | ||
436 | </menuContribution> | ||
429 | </extension> | 437 | </extension> |
430 | </plugin> | 438 | </plugin> |