From 6c42828da538132c86c0767de50c1a4284dc5c76 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 24 Sep 2019 10:45:52 +0200
Subject: [PATCH] rename menu command
---
de.prob.ui/plugin.xml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index 1db934d9..bf2abf74 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -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"
--
GitLab