rem: if (select.selectedIndex != newIndex) select.selectedIndex = newIndex; 
context: function onFontSizeChange(){  var select = document.getElementById("FontFaceSelect");  if (select)  {     // If we don't match anything, set to "0 (normal)"    var newIndex = 2;  	var size = select.getAttribute("size");    if ( size == "mixed")    {      // No single type selected      newIndex = -1;    }    else     {      for( var i = 0; i < gFontSizeNames.length; i++)      {        if( gFontSizeNames[i] == size )        {          newIndex = i;          break;        }      }    }    if (select.selectedIndex != newIndex)      select.selectedIndex = newIndex;  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/18736fd80cfad5a0e611db473920c6e1a553b72a/editor.js/buggy/editor/ui/composer/content/editor.js