+
+form_radio_list(){
+ # Produce a group of radio buttons
+ # Buttons can be given in the form label/value either as parameters,
+ # or as lines on stdin
+ # if hte button value matches cond, this button will be selected
+
+ name="$1"
+ cond="$2"
+ shift 2
+
+ if [ -n "$*" ]; then for each in "$@"; do
+ form_radio "$name" "${each##*/}" "$cond" "${each%/*}"
+ done; else while read each; do
+ form_radio "$name" "${each##*/}" "$cond" "${each%/*}"
+ done; fi
+}