commit 320a03e473ce29072540bf40d7f507ccd7db91f4 Author: Alexandre Allaire alexandre.allaire@mail.mcgill.ca Date: Tue Dec 4 21:43:23 2012 -0500

Remove comment that is no longer relevant.

Remove the comment above update_setting_text which asserts the function is safe to call with cookies disabled, since it is no longer called when cookies are disabled. --- proxy/options.js | 6 +----- 1 files changed, 1 insertions(+), 5 deletions(-)

diff --git a/proxy/options.js b/proxy/options.js index 9dd06d2..5e3a9df 100644 --- a/proxy/options.js +++ b/proxy/options.js @@ -23,11 +23,7 @@ window.addEventListener("load", function () { return false; }

- /* Updates the text telling the user what his current setting is. - According to the DOM level 2 specification, - http://www.w3.org/TR/DOM-Level-2-HTML/html.html#ID-8747038, - document.cookie is always defined and non-null, so this function - is safe if cookies are disabled. */ + /* Updates the text telling the user what his current setting is.*/ function update_setting_text() { var setting = document.getElementById("setting"); var prefix = "<p>Your current setting is: ";