rem: return; var select = document.getElementById("FontFaceSelect"); if (select) {  var newIndex = 0; var face = select.getAttribute("face");  if ( face == "mixed") 
add: var commandNode = document.getElementById(commandID); var state = commandNode.getAttribute("state");  dump("Updating font face with " + state + "\n");  if (state == "mixed") {  fontFaceMenuList.selectedItem = null; fontFaceMenuList.setAttribute("value",GetString('MixedFormats')); } else { var menuPopup = document.getElementById("FontFacePopup"); var menuItems = menuPopup.childNodes; for (i=0; i < menuItems.length; i++) 
context: function onFontFaceChange(){  return; //TODO: REWRITE THIS  var select = document.getElementById("FontFaceSelect");  if (select)  {     // Default selects "Variable Width"    var newIndex = 0;  	var face = select.getAttribute("face");//dump("onFontFaceChange: face="+face+"\n");    if ( face == "mixed")    {      // No single type selected      newIndex = -1;    }    else     {      for( var i = 0; i < gFontFaceNames.length; i++)      {        if( gFontFaceNames[i] == face )        {          newIndex = i;          break;        }      }    }    if (select.selectedIndex != newIndex)      select.selectedIndex = newIndex;  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/f8789832b86dfc8309876096458f8524d37821c2/editor.js/clean/editor/ui/composer/content/editor.js