rem: switch (gWindowState) { 
add: switch (gView) { 
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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e70cc1872d3fa7a9c82c261be41c9d7d67b9d270/extensions.js/buggy/toolkit/mozapps/extensions/content/extensions.js