diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml index 7b7824cbf86fdddecbb7aae45437d2838e625717..ce2c41a1870fcd179a74b3b69b706ba96b600c32 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>