From: gmungoc Date: Wed, 30 May 2018 11:10:31 +0000 (+0100) Subject: JAL-3008 new parameter type RadioChoiceParameter X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=f41df49dda3c615c3e5b7b91f79f88ef7c3a31c4;hp=7f68870deed3116cee84b6fa5e637dde3957a3b2;p=jalview.git JAL-3008 new parameter type RadioChoiceParameter --- 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);