rem: gAvailableLanguages.label = gSelectLabel; 
add: gAvailableLanguages.setAttribute("label", gSelectLabel); 
context: function AddAvailableLanguage(){  var selItem  = gAvailableLanguages.selectedItem;  var languageId   = selItem.getAttribute("id");  var languageName = selItem.getAttribute("label");  var addButton = document.getElementById("add");  if (!LangAlreadyActive(languageId))    AddMenuOrListItem(document, gActiveLanguages, "listitem", languageId, languageName);  // restore the "select" label and accesskey, disable the "add" button again  gAvailableLanguages.label = gSelectLabel;  gAvailableLanguages.setAttribute("accesskey", gSelectAccesskey);  addButton.disabled = true;  // select the item we just added in the active_languages listbox  var lastItem = gActiveLanguages.lastChild;  gActiveLanguages.selectItem(lastItem);  gActiveLanguages.ensureElementIsVisible(lastItem);  UpdateSavePrefString();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/7d8a6fa82e18dab4d1a8ae0e8c4faefd17232bb7/pref-languages.js/buggy/browser/components/prefwindow/content/pref-languages.js