diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml index a97cc5c164aea042da7d0558bbcbea4c34924d34..3281004389b04d21961dc754a8f5c85f7d081c8e 100644 --- a/de.prob.ui/plugin.xml +++ b/de.prob.ui/plugin.xml @@ -1066,27 +1066,30 @@ mnemonic="L" style="push"> </command> - <command - commandId="de.prob.ui.deadlock_check" - icon="icons/DeadlockCheck.png" - label="Deadlock Freedom Checking" - mnemonic="D" - style="push"> - </command> - <command - commandId="de.prob.ui.invariant_check" - icon="icons/CBCInvariantCheck.png" - label="Invariant Preservation Checking" - mnemonic="I" - style="push"> - </command> - <command - commandId="de.prob.ui.refinement_check" - icon="icons/CBCInvariantCheck.png" - label="Refinement Checking" - mnemonic="R" - style="push"> - </command> + <menu + label="Constraint Based Checking"> + <command + commandId="de.prob.ui.deadlock_check" + icon="icons/DeadlockCheck.png" + label="Deadlock Freedom Checking" + mnemonic="D" + style="push"> + </command> + <command + commandId="de.prob.ui.invariant_check" + icon="icons/CBCInvariantCheck.png" + label="Invariant Preservation Checking" + mnemonic="I" + style="push"> + </command> + <command + commandId="de.prob.ui.refinement_check" + icon="icons/CBCInvariantCheck.png" + label="Refinement Checking" + mnemonic="R" + style="push"> + </command> + </menu> </menuContribution> <!-- <menuContribution