| Index: chrome/content/ui/filters.js |
| =================================================================== |
| --- a/chrome/content/ui/filters.js |
| +++ b/chrome/content/ui/filters.js |
| @@ -26,6 +26,16 @@ |
| if (filter instanceof Filter) |
| Utils.runAsync(() => SubscriptionActions.selectFilter(filter)); |
| } |
| + |
| + E("sendStats-container").hidden = !Prefs.savestats; |
| + E("sendStats").checked = Prefs.sendstats; |
| + Prefs.addListener(function(name) |
| + { |
| + if (name == "savestats") |
| + E("sendStats-container").hidden = !Prefs.savestats; |
| + else if (name == "sendStats") |
| + E("sendStats").checked = Prefs.sendstats; |
| + }); |
| } |
| /** |
| @@ -102,6 +112,14 @@ |
| } |
| /** |
| + * Toggles option for sending filter hit statistics. |
| + */ |
| +function toggleSendStats(/**Boolean*/ allow) |
| +{ |
| + Prefs.sendstats = allow; |
| +} |
| + |
| +/** |
| * Template processing functions. |
| * @class |
| */ |