From f41df49dda3c615c3e5b7b91f79f88ef7c3a31c4 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Wed, 30 May 2018 12:10:31 +0100 Subject: [PATCH] JAL-3008 new parameter type RadioChoiceParameter --- .../{StringChoiceParameter.java => RadioChoiceParameter.java} | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) rename src/jalview/ws/params/simple/{StringChoiceParameter.java => RadioChoiceParameter.java} (83%) diff --git a/src/jalview/ws/params/simple/StringChoiceParameter.java b/src/jalview/ws/params/simple/RadioChoiceParameter.java similarity index 83% rename from src/jalview/ws/params/simple/StringChoiceParameter.java rename to src/jalview/ws/params/simple/RadioChoiceParameter.java index 254eb80..4fdb05e 100644 --- a/src/jalview/ws/params/simple/StringChoiceParameter.java +++ b/src/jalview/ws/params/simple/RadioChoiceParameter.java @@ -23,9 +23,10 @@ package jalview.ws.params.simple; import java.util.List; /** - * A parameter with options intended to be rendered as radio buttons + * A parameter with a choice of possible options, preferred to be rendered as + * radio buttons if possible */ -public class StringChoiceParameter extends Option +public class RadioChoiceParameter extends StringParameter { /** @@ -36,7 +37,7 @@ public class StringChoiceParameter extends Option * @param options * @param def */ - public StringChoiceParameter(String name, String description, + public RadioChoiceParameter(String name, String description, List options, String def) { super(name, description, true, def, def, options, null); -- 1.7.10.2