*
* @param string the name of the checkbox that should be (un)checked
*/
-function row_click(chkboxName) {
+function row_click(chkboxName, event) {
var chkbox = document.getElementById(chkboxName);
if (chkbox) {
// initialize orig_row_color if not defined already