/*
  Copyright © 2009 Stéphane Glondu <steph@glondu.net>
  Copyright © 2009 Mehdi Dogguy <dogguy@pps.jussieu.fr>

  This program is free software: you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or
  (at your option) any later version.

  Dependencies: jquery.
*/

function update () {
    if ($("#good").is(":checked")) {
        $(".src").filter(".good").parent().show();
    } else {
        $(".src").filter(".good").parent().hide();
    }
    if ($("#bad").is(":checked")) {
        $(".src").filter(".bad").parent().show();
    } else {
        $(".src").filter(".bad").parent().hide();
    }
    if ($("#unknown").is(":checked")) {
        $(".src").filter(".unknown").parent().show();
    } else {
        $(".src").filter(".unknown").parent().hide();
    }
    if ($("#notintesting").is(":checked")) {
        $(".src").filter(".notintesting").parent().hide();
    } else {
        $(".src").filter(".notintesting").parent().show();
    }
    for (i = 0; i < nb_rounds; i++) {
        if ($(".round"+i).filter(":visible").length > 0) {
            $("#header"+i).show();
        } else {
            $("#header"+i).hide();
        }
    }
    $("#count").html(" ("+$(".srcname").filter(":visible").length+")");
};

function init () {
    $("#good").click(update);
    $("#bad").click(update);
    $("#unknown").click(update);
    $("#notintesting").click(update);
    update();
}

$(document).ready(init);

@@ -401,24 +401,59 @@
 update () %7B%0A
+    $(%22.src%22).removeClass(%22mark%22);%0A
     if ($(%22#
@@ -567,32 +567,49 @@
 filter(%22.good%22).
+addClass(%22mark%22).
 parent().hide();
@@ -739,32 +739,49 @@
 .filter(%22.bad%22).
+addClass(%22mark%22).
 parent().hide();
@@ -923,32 +923,49 @@
 ter(%22.unknown%22).
+addClass(%22mark%22).
 parent().hide();
@@ -1130,30 +1130,142 @@
 sting%22).
-parent().show(
+each(function() %7B%0A            if(!$(this).hasClass(%22mark%22)) %7B%0A                $(this).parent().show();%0A            %7D%0A        %7D
 );%0A    %7D

Fix script.js: resolve conflict between .notintesting and other classes