Index: chrome/content/ui/filters.js |
=================================================================== |
--- a/chrome/content/ui/filters.js |
+++ b/chrome/content/ui/filters.js |
@@ -85,10 +85,12 @@ |
if (!list) |
{ |
E("filtersContainer").hidden = true; |
+ E("filtersSplitter").hidden = true; |
return; |
} |
E("filtersContainer").hidden = false; |
+ E("filtersSplitter").hidden = false; |
let data = Templater.getDataForNode(list.selectedItem); |
FilterView.subscription = (data ? data.subscription : null); |