context: function EditorSetFontSize(size){  if( size == "0" || size == "normal" ||       size == "medium" )  {    editorShell.RemoveTextProperty("font", "size");    // Also remove big and small,     //  else it will seem like size isn't changing correctly    editorShell.RemoveTextProperty("small", "");    editorShell.RemoveTextProperty("big", "");  } else {    // Temp: convert from new CSS size strings to old HTML size strings    switch (size)    {      case "xx-small":      case "x-small":        size = "-2";        break;      case "small":        size = "-1";        break;      case "large":        size = "+1";        break;      case "x-large":        size = "+2";        break;      case "xx-large":        size = "+3";        break;    }    editorShell.SetTextProperty("font", "size", size);  }  gContentWindow.focus();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/eaa6754a0a946375badf1165b3e4af3999e4b03c/editor.js/buggy/editor/ui/composer/content/editor.js