From 431f8f6819c67a22f44313f49ce6cb78738a9507 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 4 Jan 2013 12:00:46 +0100
Subject: [PATCH] getPossibleValues should return null to avoid a drop down
menu in some of the rodin editors
---
.../src/de/prob/ui/pragmas/InferredUnitPragmaAttribute.java | 2 +-
de.prob.ui/src/de/prob/ui/pragmas/UnitPragmaAttribute.java | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/de.prob.ui/src/de/prob/ui/pragmas/InferredUnitPragmaAttribute.java b/de.prob.ui/src/de/prob/ui/pragmas/InferredUnitPragmaAttribute.java
index c72487a5..6a781004 100644
--- a/de.prob.ui/src/de/prob/ui/pragmas/InferredUnitPragmaAttribute.java
+++ b/de.prob.ui/src/de/prob/ui/pragmas/InferredUnitPragmaAttribute.java
@@ -39,7 +39,7 @@ public class InferredUnitPragmaAttribute implements IAttributeManipulation {
@Override
public String[] getPossibleValues(IRodinElement element,
IProgressMonitor monitor) {
- return new String[] { "", "a", "b", "c" };
+ return null;
}
@Override
diff --git a/de.prob.ui/src/de/prob/ui/pragmas/UnitPragmaAttribute.java b/de.prob.ui/src/de/prob/ui/pragmas/UnitPragmaAttribute.java
index b159c38b..74aa0f9a 100644
--- a/de.prob.ui/src/de/prob/ui/pragmas/UnitPragmaAttribute.java
+++ b/de.prob.ui/src/de/prob/ui/pragmas/UnitPragmaAttribute.java
@@ -38,7 +38,7 @@ public class UnitPragmaAttribute implements IAttributeManipulation {
@Override
public String[] getPossibleValues(IRodinElement element,
IProgressMonitor monitor) {
- return new String[] { "", "a", "b", "c" };
+ return null;
}
@Override
--
GitLab