| Index: chrome/content/ui/filters.js |
| =================================================================== |
| --- a/chrome/content/ui/filters.js |
| +++ b/chrome/content/ui/filters.js |
| @@ -94,14 +94,7 @@ |
| let list = panel.getElementsByTagName("richlistbox")[0]; |
| 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); |