Index: randomplay_list.html =================================================================== --- randomplay_list.html (revision 8239) +++ randomplay_list.html (working copy) @@ -136,7 +136,7 @@ var newState = numSelected != numCheckBoxes; for (var i=0; i < f.elements.length; i++) { - if (f.elements[i].type == 'checkbox') { + if (f.elements[i].type == 'checkbox' && f.elements[i].name != 'continuousMode') { f.elements[i].checked = newState; } }