rem: function onParagraphFormatChange() 
add: function onParagraphFormatChange(commandID) 
context: function onParagraphFormatChange(){  return; //TODO: REWRITE THIS  var menulist = document.getElementById("ParagraphSelect");  if (menulist)  {     // If we don't match anything, set to "normal"    var newIndex = 0;  	var format = select.getAttribute("format");    if ( format == "mixed")    {//dump("Mixed paragraph format *******\n");      // No single type selected      newIndex = -1;    }    else    {      for( var i = 0; i < gParagraphTagNames.length; i++)      {        if( gParagraphTagNames[i] == format )        {          newIndex = i;          break;        }      }    }    if (menulist.selectedIndex != newIndex)      menulist.selectedIndex = newIndex;  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/fc2bc945aa9521ef5990a6af9ead7e0822560acf/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js