From 54559a3932a036f1faf0d265951f686738719cb7 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Sat, 5 Dec 2020 12:20:50 +0100
Subject: [PATCH] change text of export PO label
---
.../src/de/prob/eventb/disprover/ui/DisproverPreferences.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java
index dbc82489..e0fa5ff5 100644
--- a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java
+++ b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java
@@ -162,7 +162,7 @@ public class DisproverPreferences extends PreferencePage implements
checkDoubleEval.setSelection(prefNode.getBoolean("doubleeval", false));
new Label(pageComponent, SWT.NONE)
- .setText("Export selected hypotheses to B text file (/tmp/ProB_Rodin_PO_SelectedHyps.mch):");
+ .setText("Export Goal and selected Hypotheses to B file (/tmp/ProB_Rodin_PO_SelectedHyps.mch):");
checkExportSelectedHyps = new Button(pageComponent, SWT.CHECK);
checkExportSelectedHyps.setSelection(prefNode.getBoolean("exportpo", false));
--
GitLab