rem: function javascriptEnabledChange(aEnable){ var label = document.getElementById("allowScripts"); 
add: function javascriptEnabledChange() { var isEnabled = document.getElementById("enableJavaScript").checked; 
context: function javascriptEnabledChange(aEnable){  var label = document.getElementById("allowScripts");  var advancedButton = document.getElementById("advancedJavascript");  advancedButton.disabled = aEnable;}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/9918b9a2e9260012940500c5c5fcebac7657a11b/pref-features.js/buggy/browser/components/prefwindow/content/pref-features.js