Found the cause of Bug #173 and added a comment to the

code showing where to fix it.  (I don't have the time right
now to fix it but will do this later.)

diff --git a/webcit/static/wclib.js b/webcit/static/wclib.js
index 23999c756e93c50ad54f85319367109259b1897c..5a536b39661151a6aa51f72636d67281e31102f7 100644 (file)
--- a/webcit/static/wclib.js
+++ b/webcit/static/wclib.js
@@ -154,6 +154,8 @@ function CtdlSingleClickMsg(evt, msgnum) {
        if ( (evt.ctrlKey) && (already_selected == 1) ) {
                $('m'+msgnum).style.backgroundColor = '#fff';
                $('m'+msgnum).style.color = '#000';
+               // FIXME pull the message out of the selected list here, stupid.
+               // this will fix Bugzilla #173
        }
        else {
                $('m'+msgnum).style.backgroundColor='#69aaff';