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