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