rem: EditorRemoveTextProperty("font", "color"); EditorRemoveTextProperty("font", "bgcolor"); EditorRemoveTextProperty("font", "size"); EditorRemoveTextProperty("small", ""); EditorRemoveTextProperty("big", ""); var bodyelement = GetBodyElement(); if (bodyelement) { var editor = GetCurrentEditor();    editor.cloneAttributes(bodyelement, editor.document.createElement("body")); } 
context: function EditorResetFontAndColorAttributes(){  try {      document.getElementById("cmd_fontFace").setAttribute("state", "");    EditorRemoveTextProperty("font", "color");    EditorRemoveTextProperty("font", "bgcolor");    EditorRemoveTextProperty("font", "size");    EditorRemoveTextProperty("small", "");    EditorRemoveTextProperty("big", "");    var bodyelement = GetBodyElement();    if (bodyelement)    {      var editor = GetCurrentEditor();      // remove all the existing attributes on the body element      // by creating a dummy body element and cloning the attributes      // see bug #249882 for more details      editor.cloneAttributes(bodyelement, editor.document.createElement("body"));    }    gColorObj.LastTextColor = "";    gColorObj.LastBackgroundColor = "";    gColorObj.LastHighlightColor = "";    document.getElementById("cmd_fontColor").setAttribute("state", "");    document.getElementById("cmd_backgroundColor").setAttribute("state", "");    UpdateDefaultColors();  } catch (e) {}}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5c9709d45ccdb777f7085039af960124d69d3241/editor.js/buggy/editor/ui/composer/content/editor.js