Adding the 'select all' possibility to the bookmarks header.

lib/lib.js

@@ -89,7 +89,7 @@ var parameter='';
    http://www.squarefree.com/bookmarklets/
 */
 
-function selection(boxes){
+function selectthem(boxes, stat){
 	var x,k,f,j;
 	x=document.forms;
 
@@ -107,7 +107,7 @@ function selection(boxes){
 					f[j].checked = !f[j].checked ;
 				}
 				else if (boxes == "checkall") {
-					f[j].checked = document.getElementsByName('CheckAll')[0].checked;
+					f[j].checked = stat;
 				}
 			}
 		}