rem:  var pluginGroup = document.getElementById("pluginPreferences") var children = pluginGroup.childNodes; if (!children || children.length <= 1) pluginGroup.setAttribute("hidden", "true"); } 
add:  var pluginGroup = document.getElementById("pluginPreferences"); var children = pluginGroup.childNodes; if (!children || children.length <= 1) pluginGroup.setAttribute("hidden", "true");  javascriptEnabledChange(); } 
context: function Startup(){    //If we don't have a checkbox under groupbox pluginPreferences, we should hide it    var pluginGroup = document.getElementById("pluginPreferences")    var children = pluginGroup.childNodes;    if (!children || children.length <= 1)    // 1 for the caption      pluginGroup.setAttribute("hidden", "true");  }
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/18761c1e6b5758818fe749de89827d4e1b06f6cf/pref-scripts.js/buggy/xpfe/components/prefwindow/resources/content/pref-scripts.js