Skip to content
Snippets Groups Projects
Commit 6c42828d authored by Michael Leuschel's avatar Michael Leuschel
Browse files

rename menu command

parent 090b7ffb
No related branches found
No related tags found
No related merge requests found
......@@ -295,7 +295,7 @@
</command>
<command
id="de.prob.ui.show_custom_precondition_dialog"
name="Execute with additional Guard">
name="Execute with Additional Guard Constraint">
</command>
<command
categoryId="de.prob.ui.commands.category"
......@@ -346,7 +346,7 @@
</command>
<command
id="de.prob.ui.ltl.showcounterexampleinhistory"
name="Show counter-example in history">
name="Show Counter-example in History">
</command>
<command
id="de.prob.ui.ltl.counterexamplezoominhandler"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment