From 5fc76ff7a9261d5805cb950a8ec106c06fad7b00 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?G=C3=A9ry=20Debongnie?= Date: Mon, 27 Oct 2014 15:09:27 +0100 Subject: [PATCH] [FIX] fixes an issue with non-displayed favorite filter If someone removes the last filter in favorites menu, it removed the divider, and therefore couldn't properly add a new filter. --- addons/web/static/src/js/search.js | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/addons/web/static/src/js/search.js b/addons/web/static/src/js/search.js index 366cae1f829..86412907f4f 100644 --- a/addons/web/static/src/js/search.js +++ b/addons/web/static/src/js/search.js @@ -1725,8 +1725,7 @@ instance.web.search.FavoriteMenu = instance.web.Widget.extend({ append_filter: function (filter) { var self = this, key = this.key_for(filter), - $filter, - warning = _t("This filter is global and will be removed for everybody if you continue."); + $filter; this.$divider.show(); if (key in this.$filters) { @@ -1778,7 +1777,7 @@ instance.web.search.FavoriteMenu = instance.web.Widget.extend({ delete self.$filters[key]; delete self.filters[key]; if (_.isEmpty(self.filters)) { - self.$('li.divider').remove(); + self.$divider.hide(); } }); },