| 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;