var row = document.getElementById("RROW-" + id);
if (row) {
var nc = row.className;
+ var is_selected = row.className.match("Selected");
nc = nc.replace("Unread", "");
nc = nc.replace("Selected", "");
row.className = nc + "Unread";
}
+ // Disable unmarking as selected for the time being (16.05.08) -fox
+ if (is_selected) row.className = row.className + "Selected";
+
if (cmode == undefined) cmode = 2;
var query = "backend.php?op=rpc&subop=catchupSelected&ids=" +