diff options
Diffstat (limited to 'java/src/IceGridGUI/Application/Editor.java')
| -rwxr-xr-x | java/src/IceGridGUI/Application/Editor.java | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/java/src/IceGridGUI/Application/Editor.java b/java/src/IceGridGUI/Application/Editor.java index 936e436a408..9eea269f02c 100755 --- a/java/src/IceGridGUI/Application/Editor.java +++ b/java/src/IceGridGUI/Application/Editor.java @@ -37,6 +37,26 @@ import IceGridGUI.*; public class Editor extends EditorBase
{
+ static public java.util.Map makeParameterValues(
+ java.util.Map oldParameterValues,
+ java.util.List newParameters)
+ {
+ java.util.Map result = new java.util.HashMap();
+
+ java.util.Iterator p = newParameters.iterator();
+ while(p.hasNext())
+ {
+ Object name = p.next();
+ Object value = oldParameterValues.get(name);
+ if(value != null)
+ {
+ result.put(name, value);
+ }
+ }
+ return result;
+ }
+
+
protected void applyUpdate()
{
assert false;
|