[FIX] fixes an issue with non-displayed favorite filter
authorGéry Debongnie <ged@odoo.com>
Mon, 27 Oct 2014 14:09:27 +0000 (15:09 +0100)
committerGéry Debongnie <ged@odoo.com>
Wed, 29 Oct 2014 07:38:19 +0000 (08:38 +0100)
commit5fc76ff7a9261d5805cb950a8ec106c06fad7b00
treeb84fc7433ed2592f4cda107278bb1d1d8634a446
parent488bb6e803faf7a27b9eb82f3efd5dc8458b472d
[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