context: function initOptionsMenu()  //read through the array found in languagePairs and add available languages to the options menu{	var menuPopup = document.getElementById("langSelect");	var menuItem ;		for(var i = 0;i < glanguagePairs.length ; i++)	{	  menuItem = document.createElement("menuitem");	  menuItem.setAttribute("label",glanguageUnicode[i]);	  menuItem.setAttribute("name","languageSet");	  menuItem.setAttribute("tooltiptext", gTranslateBundle.getString("tool.menu."+glanguagePairs[i][0]+".tooltip"));	  menuItem.setAttribute("oncommand","setLang("+ i +")");	  menuItem.setAttribute("type","radio");	  	  menuPopup.appendChild(menuItem);                              	}}
meta: 9817	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9817/92511fa4a281dc1b11c2960208b0078e716d4f82/translate.js/buggy/trunk/chrome/content/translate.js