rem: if (aEvent.button != 0) 
add: if (aEvent.button != 0 || !gExtensionsView.selectedItem) 
context: function onViewDoubleClick(aEvent){  if (aEvent.button != 0)    return;  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/4dee76fd35410a1e448aa8af0fcc257a211f7fde/extensions.js/buggy/toolkit/mozapps/extensions/content/extensions.js