Jalview, change menu checkboxes to radio buttons

Brought to you by: daveclements, girlwithglasses, gk_fan, hueyling, and 10 others

#251 Jalview, change menu checkboxes to radio buttons

Milestone: v1.2.3 or later

Status: open

Owner: Nomi Harris

Labels: Desired new capability (218)

Priority: 1

Updated: 2007-05-04

Created: 2007-05-04

Private: No

JV70) Menu checkboxes now behave like radio button groups--why not make them actual radio buttons?