rem: function onViewDoubleClick() 
add: function onViewDoubleClick(aEvent) 
context: function onViewDoubleClick(){  switch (gWindowState) {  case "extensions":    gExtensionsViewController.doCommand('cmd_options');    break;  case "themes":    gExtensionsViewController.doCommand('cmd_useTheme');    break;  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/16fb5efb8a1ac55917f03989bebb586e959e9929/extensions.js/buggy/toolkit/mozapps/extensions/content/extensions.js