Skip to content
Snippets Groups Projects
Commit aeeab0ca authored by Sebastian Krings's avatar Sebastian Krings
Browse files

disable "Animate / Model Check", "ProB Classic" and "Check physical Units" on... 

disable "Animate / Model Check", "ProB Classic" and "Check physical Units" on anything but MachineRoots and ContextRoots
parent 3448747a
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
de.prob.ui/plugin.xml
+ 56
− 14
View file @ aeeab0ca
...@@ -1022,6 +1022,22 @@ ...@@ -1022,6 +1022,22 @@
<separator <separator
name="de.prob.ui.separator2" name="de.prob.ui.separator2"
visible="true"> visible="true">
<visibleWhen>
<with
variable="selection">
<iterate
operator="or">
<or>
<instanceof
value="org.eventb.core.IMachineRoot">
</instanceof>
<instanceof
value="org.eventb.core.IContextRoot">
</instanceof>
</or>
</iterate>
</with>
</visibleWhen>
</separator> </separator>
<command <command
commandId="de.prob.ui.starteventbanimation" commandId="de.prob.ui.starteventbanimation"
...@@ -1033,9 +1049,14 @@ ...@@ -1033,9 +1049,14 @@
variable="selection"> variable="selection">
<iterate <iterate
operator="or"> operator="or">
<or>
<instanceof <instanceof
value="org.eventb.core.IEventBRoot"> value="org.eventb.core.IMachineRoot">
</instanceof>
<instanceof
value="org.eventb.core.IContextRoot">
</instanceof> </instanceof>
</or>
</iterate> </iterate>
</with> </with>
</visibleWhen> </visibleWhen>
...@@ -1063,17 +1084,6 @@ ...@@ -1063,17 +1084,6 @@
icon="icons/new_prob_mini.png" icon="icons/new_prob_mini.png"
id="more_commands" id="more_commands"
label="ProB Classic ..."> label="ProB Classic ...">
<visibleWhen>
<with
variable="selection">
<iterate
operator="or">
<instanceof
value="org.eventb.core.IEventBRoot">
</instanceof>
</iterate>
</with>
</visibleWhen>
<command <command
commandId="de.prob.ui.newcore.export" commandId="de.prob.ui.newcore.export"
icon="icons/prob_mini_logo.gif" icon="icons/prob_mini_logo.gif"
...@@ -1086,10 +1096,42 @@ ...@@ -1086,10 +1096,42 @@
label="Open in ProB classic" label="Open in ProB classic"
style="push"> style="push">
</command> </command>
<visibleWhen>
<with
variable="selection">
<iterate
operator="or">
<or>
<instanceof
value="org.eventb.core.IMachineRoot">
</instanceof>
<instanceof
value="org.eventb.core.IContextRoot">
</instanceof>
</or>
</iterate>
</with>
</visibleWhen>
</menu> </menu>
<separator <separator
name="de.prob.ui.separator1" name="de.prob.ui.separator1"
visible="true"> visible="true">
<visibleWhen>
<with
variable="selection">
<iterate
operator="or">
<or>
<instanceof
value="org.eventb.core.IMachineRoot">
</instanceof>
<instanceof
value="org.eventb.core.IContextRoot">
</instanceof>
</or>
</iterate>
</with>
</visibleWhen>
</separator> </separator>
</menuContribution> </menuContribution>
<menuContribution <menuContribution
......
de.prob.units/plugin.xml
+ 40
− 3
View file @ aeeab0ca
...@@ -54,6 +54,22 @@ ...@@ -54,6 +54,22 @@
<separator <separator
name="de.prob.units.separator2" name="de.prob.units.separator2"
visible="true"> visible="true">
<visibleWhen>
<with
variable="selection">
<iterate
operator="or">
<or>
<instanceof
value="org.eventb.core.IMachineRoot">
</instanceof>
<instanceof
value="org.eventb.core.IContextRoot">
</instanceof>
</or>
</iterate>
</with>
</visibleWhen>
</separator> </separator>
<command <command
commandId="de.prob.units.startunitanalysis" commandId="de.prob.units.startunitanalysis"
...@@ -65,9 +81,14 @@ ...@@ -65,9 +81,14 @@
variable="selection"> variable="selection">
<iterate <iterate
operator="or"> operator="or">
<or>
<instanceof
value="org.eventb.core.IMachineRoot">
</instanceof>
<instanceof <instanceof
value="org.eventb.core.IEventBRoot"> value="org.eventb.core.IContextRoot">
</instanceof> </instanceof>
</or>
</iterate> </iterate>
</with> </with>
</visibleWhen> </visibleWhen>
...@@ -75,6 +96,22 @@ ...@@ -75,6 +96,22 @@
<separator <separator
name="de.prob.units.separator1" name="de.prob.units.separator1"
visible="true"> visible="true">
<visibleWhen>
<with
variable="selection">
<iterate
operator="or">
<or>
<instanceof
value="org.eventb.core.IMachineRoot">
</instanceof>
<instanceof
value="org.eventb.core.IContextRoot">
</instanceof>
</or>
</iterate>
</with>
</visibleWhen>
</separator> </separator>
</menuContribution> </menuContribution>
</extension> </extension>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment