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