rem: var theButton = document.getElementById("ParagraphPopupButton"); if (theButton) { var theFormat = theButton.getAttribute("format"); theButton.setAttribute("value", gTagToFormat[theFormat]); dump("Setting value\n"); 
add: var select = document.getElementById("ParagraphSelect"); if (select) {  var newIndex = 0; var format = select.getAttribute("format"); if ( format == "mixed") {  newIndex = -1; } else { for( var i = 0; i < gParagraphTagNames.length; i++) { if( gParagraphTagNames[i] == format ) { newIndex = i; break; } } } if (select.selectedIndex != newIndex) select.selectedIndex = newIndex; 
context: function onParagraphFormatChange(){  var theButton = document.getElementById("ParagraphPopupButton");  if (theButton)  {	var theFormat = theButton.getAttribute("format");    theButton.setAttribute("value", gTagToFormat[theFormat]);    dump("Setting value\n");  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/25771bd9e4d7db6905ed7b17947434267aa09319/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js