rem: else 
add: else 
context: function onFontSizeChange(fontSizeMenulist, commandID){  // If we don't match anything, set to "0 (normal)"  var newIndex = 2;	var size = fontSizeMenulist.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 (fontSizeMenulist.selectedIndex != newIndex)    fontSizeMenulist.selectedIndex = newIndex;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/0b2dd2b2d2fd037df917e07645fa019a963332a5/editor.js/clean/editor/ui/composer/content/editor.js