NO BUG Allow users to disable element hiding

chrome/content/ui/filters-subscriptionview.js

Index: chrome/content/ui/filters-subscriptionview.js
===================================================================
--- a/chrome/content/ui/filters-subscriptionview.js
+++ b/chrome/content/ui/filters-subscriptionview.js
@@ -82,17 +82,17 @@ ListManager.prototype =
     // Remove existing entries if any
     while (this._list.firstChild)
       this._list.removeChild(this._list.firstChild);
 
     // Now add all subscriptions
     let subscriptions = FilterStorage.subscriptions.filter(this._filter, this);
     if (subscriptions.length)
     {
-      for each (let subscription in subscriptions)
+      for (let subscription of subscriptions)
         this.addSubscription(subscription, null);
 
       // Make sure first list item is selected after list initialization
       Utils.runAsync(function()
       {
         this._list.selectItem(this._list.getItemAtIndex(this._list.getIndexOfFirstVisibleRow()));
       }, this);
     }
@@ -293,16 +293,17 @@ ListManager.init = function()
                   function(s) s instanceof RegularSubscription && !(ListManager.acceptableAdsCheckbox && s.url == Prefs.subscriptions_exceptionsurl),
                   SubscriptionActions.updateCommands);
   new ListManager(E("groups"),
                   E("groupTemplate"),
                   function(s) s instanceof SpecialSubscription,
                   SubscriptionActions.updateCommands);
   E("acceptableAds").checked = FilterStorage.subscriptions.some(function(s) s.url == Prefs.subscriptions_exceptionsurl);
   E("acceptableAds").parentNode.hidden = !ListManager.acceptableAdsCheckbox;
+  E("useElementHiding").checked = Prefs.element_hiding_enabled;
 };
 
 /**
  * Defines whether the "acceptable ads" subscription needs special treatment.
  * @type Boolean
  */
 ListManager.acceptableAdsCheckbox = Prefs.subscriptions_exceptionscheckbox;