diff -r a6de16e6a3a3 -r eefb64f74a3f src/js/widgets/annotationsListWidget.js
--- a/src/js/widgets/annotationsListWidget.js	Fri Apr 06 17:15:48 2012 +0200
+++ b/src/js/widgets/annotationsListWidget.js	Fri Apr 06 19:00:00 2012 +0200
@@ -152,7 +152,6 @@
     .value();
   var idList = IriSP.underscore.pluck(list, "id").sort();
 
-  
   if (!IriSP.underscore.isEqual(this.__oldList, idList) || this.lastSearch !== this.searchRe || typeof(force_redraw) !== "undefined") {
     this.do_redraw(list);
     this.__oldList = idList;