context: function EditorToggleStyle(styleName){  // see if the style is already set by looking at the observer node,  // which is the appropriate button  // cmanske: I don't think we should depend on button state!  //  (this won't work for other list styles, anyway)  //  We need to get list type from document (See EditorSetListStyle)  var theButton = document.getElementById(styleName + "Button");  dump("Toggling style " + styleName + "\n");  if (theButton)  {    var isOn = theButton.getAttribute(styleName);    if (isOn == "true")      editorShell.RemoveTextProperty(gStyleTags[styleName], "", "");    else      editorShell.SetTextProperty(gStyleTags[styleName], "", "");    contentWindow.focus();  }  else  {    dump("No button found for the " + styleName + " style\n");  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/712a9be961ac07f8dbdb623250724a21a6d5b2bd/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js