Accepts arbitrary collections for the "among" facet in "parameter"

gama-platform · Feb 28, 2022 · 5ec9cec · 5ec9cec
1 parent 69263d2
commit 5ec9cec
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ummisco.gama.ui.shared/src/ummisco/gama/ui/parameters/EditorFactory.java b/ummisco.gama.ui.shared/src/ummisco/gama/ui/parameters/EditorFactory.java
@@ -10,7 +10,7 @@
  ********************************************************************************************************/
 package ummisco.gama.ui.parameters;
 
-import java.util.List;
+import java.util.Collection;
 
 import msi.gama.kernel.experiment.ExperimentParameter;
 import msi.gama.kernel.experiment.IParameter;
@@ -243,7 +243,7 @@ public static AbstractEditor create(final IScope scope, final EditorsGroup paren
 	 * @return the string editor
 	 */
 	public static AbstractEditor choose(final IScope scope, final EditorsGroup parent, final String title,
-			final String value, final List<String> among, final EditorListener<String> whenModified) {
+			final String value, final Collection<String> among, final EditorListener<String> whenModified) {
 		AbstractEditor ed =
 				instance.create(scope, null, new InputParameter(title, value, Types.STRING, among), whenModified);
 		ed.createControls(parent);