add: if (aEvent.button != 0) return;  
context: function onViewDoubleClick(){  switch (gWindowState) {  case "extensions":    gExtensionsViewController.doCommand('cmd_options');    break;  case "themes":    gExtensionsViewController.doCommand('cmd_useTheme');    break;  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/336abe5e0f7d99d22a8b6f0677caf337790dd21b/extensions.js/clean/toolkit/mozapps/extensions/content/extensions.js