rem: case "extensions": gExtensionsViewController.doCommand('cmd_options'); break; case "themes": gExtensionsViewController.doCommand('cmd_useTheme'); break; 
add: case "extensions": gExtensionsViewController.doCommand('cmd_options'); break; case "themes": gExtensionsViewController.doCommand('cmd_useTheme'); break; 
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/f08db9d3aca9530f5424643d8db48e82dc72c35e/extensions.js/buggy/toolkit/mozapps/extensions/content/extensions.js