diff options
Diffstat (limited to 'java/src/IceGridGUI/Utils.java')
| -rwxr-xr-x | java/src/IceGridGUI/Utils.java | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/java/src/IceGridGUI/Utils.java b/java/src/IceGridGUI/Utils.java index 7b2e5ca3983..6deaca51d24 100755 --- a/java/src/IceGridGUI/Utils.java +++ b/java/src/IceGridGUI/Utils.java @@ -70,8 +70,23 @@ public class Utils toolTipHolder.value += "<br>";
}
}
+
+ if(elt.length() == 0)
+ {
+ result += "\"\"";
+ }
+ else if(elt.matches("\\S*"))
+ {
+ //
+ // Only non-whitespace characters
+ //
+ result += elt;
+ }
+ else
+ {
+ result += '"' + elt + '"';
+ }
- result += elt;
if(toolTipHolder != null)
{
toolTipHolder.value += elt;
@@ -362,7 +377,7 @@ public class Utils public java.util.List properties; // list of PropertyDescriptor
}
- static public java.util.Map propertySetToMap(
+ static public java.util.SortedMap propertySetToMap(
ExpandedPropertySet propertySet,
ExpandedPropertySet instancePropertySet, // can be null
Resolver resolver)
|