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;
}
}