Oops, forgot to comment this out again. Clicking checkboxes on message list works correctly now.

functions/page_header.php

@@ -355,7 +355,7 @@ function setPointer(theRow, theRowNum, theAction, theDefaultColor, thePointerCol
             // performed. Then the checkbox would get deactived, even though we need 
             // it activated. Maybe there is a way to detect if the row was clicked, 
             // and not an item therein...
-            document.getElementById('msg[' + theRowNum + ']').checked = true;
+            //document.getElementById('msg[' + theRowNum + ']').checked = true;
         }
     }
     // 4.1.2 Current color is the pointer one
@@ -367,7 +367,7 @@ function setPointer(theRow, theRowNum, theAction, theDefaultColor, thePointerCol
         else if (theAction == 'click' && theMarkColor != '') {
             newColor              = theMarkColor;
             marked_row[theRowNum] = true;
-            document.getElementById('msg[' + theRowNum + ']').checked = true;
+            //document.getElementById('msg[' + theRowNum + ']').checked = true;
         }
     }
     // 4.1.3 Current color is the marker one
@@ -379,7 +379,7 @@ function setPointer(theRow, theRowNum, theAction, theDefaultColor, thePointerCol
             marked_row[theRowNum] = (typeof(marked_row[theRowNum]) == 'undefined' || !marked_row[theRowNum])
                                   ? true
                                   : null;
-            document.getElementById('msg[' + theRowNum + ']').checked = false;
+            //document.getElementById('msg[' + theRowNum + ']').checked = false;
         }
     } // end 4