From 790cb4602020c4202ed2d011250df7e647b1aef5 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Tue, 23 Apr 2013 16:57:26 +0200
Subject: [PATCH] restructured checking menu in animation view
---
de.prob.ui/plugin.xml | 45 +++++++++++++++++++++++--------------------
1 file changed, 24 insertions(+), 21 deletions(-)
diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index a97cc5c1..32810043 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
--
GitLab