/**
* Generates a text box for the given setting suitable for adding to an existing form.
*
* @param value The current value of the option. It is displayed in the text box.
* @param fullName The full name of the option, used to name the text field.
* @param o The option, used to add the short description as an "alt" attribute.
* @param disabled Whether the text box should be disabled.
* @return An input of type "text" and class "config" containing the current value of the option.
*/
public static HTMLNode addTextBox(String value, String fullName, Option<?> o, boolean disabled) {
HTMLNode result;
if (disabled) {
result =
new HTMLNode(
"input",
new String[] {"type", "class", "disabled", "alt", "name", "value"}, //
new String[] {"text", "config", "disabled", o.getShortDesc(), fullName, value});
} else {
result =
new HTMLNode(
"input",
new String[] {"type", "class", "alt", "name", "value"}, //
new String[] {"text", "config", o.getShortDesc(), fullName, value});
}
return result;
}
