[tor-commits] [torbutton/master] Add some comments to the Bug #9454 check.

mikeperry at torproject.org mikeperry at torproject.org
Thu Nov 28 02:43:50 UTC 2013


commit 27b9c7dfa79b6e18ca32463484ff7c3cc7bc6ec4
Author: Mike Perry <mikeperry-git at torproject.org>
Date:   Wed Nov 27 18:40:48 2013 -0800

    Add some comments to the Bug #9454 check.
---
 src/chrome/content/torbutton.js |    5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/chrome/content/torbutton.js b/src/chrome/content/torbutton.js
index 4a9b4da..e180bd8 100644
--- a/src/chrome/content/torbutton.js
+++ b/src/chrome/content/torbutton.js
@@ -1764,13 +1764,14 @@ function torbutton_toggle_plugins(disable_plugins) {
     var PH=Cc["@mozilla.org/plugin/host;1"].getService(Ci.nsIPluginHost);
     var P=PH.getPluginTags({});
     for(var i=0; i<P.length; i++) {
-        if ("enabledState" in P[i]) {
+        if ("enabledState" in P[i]) { // FF24
+          // FIXME: DOCDOC the reasoning for the isDisabled check, or remove it.
           var isDisabled = (P[i].enabledState == Ci.nsIPluginTag.STATE_DISABLED);
           if (!isDisabled && disable_plugins)
             P[i].enabledState = Ci.nsIPluginTag.STATE_DISABLED;
           else if (isDisabled && !disable_plugins)
             P[i].enabledState = Ci.nsIPluginTag.STATE_CLICKTOPLAY;
-        } else if (P[i].disabled != disable_plugins) {
+        } else if (P[i].disabled != disable_plugins) { // FF17
           P[i].disabled=disable_plugins;
         }
     }



More information about the tor-commits mailing list