From 2ce453ddb6ae85f7d84786359b27e35a0ac3443d Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 19 Dec 2012 12:14:26 +0100
Subject: [PATCH] add description to input text field
---
de.prob.ui/plugin.xml | 1 +
1 file changed, 1 insertion(+)
diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index 7b7824cb..ce2c41a1 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -1202,6 +1202,7 @@
expandsHorizontally="true"
id="de.prob.ui.unitPragma"
isMath="true"
+ prefix="Physical Unit:"
style="de.prob.ui.unitPragma"
typeId="de.prob.core.unitPragma">
</textAttribute>
--
GitLab