src/js/widgets/annotationsListWidget.js
changeset 852 eefb64f74a3f
parent 842 4ae2247a59f4
child 855 1be5beb4b196
child 870 2c025db10a10
--- 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;