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 |
*/ |