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/b181ac978c27c025fe4e05e4b3245aae121c7e02/pref-scripts.js/clean/suite/common/pref/pref-scripts.js