Index: chrome/content/ui/filters.js |
=================================================================== |
--- a/chrome/content/ui/filters.js |
+++ b/chrome/content/ui/filters.js |
@@ -15,6 +15,8 @@ |
if (filter instanceof Filter) |
Utils.runAsync(SubscriptionActions.selectFilter, SubscriptionActions, filter); |
} |
+ |
+ TypoActions.init(); |
} |
/** |
@@ -83,7 +85,12 @@ |
let list = panel.getElementsByTagName("richlistbox")[0]; |
if (!list) |
+ { |
+ E("filtersContainer").style.visibility = "hidden"; |
return; |
+ } |
+ |
+ E("filtersContainer").style.visibility = "visible"; |
let data = Templater.getDataForNode(list.selectedItem); |
FilterView.subscription = (data ? data.subscription : null); |