rem: window.editorShell.SetTextProperty("font", "size", size); 
add: editorShell.SetTextProperty("font", "size", size); 
context: function EditorSetFontSize(size){  if( size == "0" || size == "normal" ||       size == "+0" )  {    window.editorShell.RemoveTextProperty("font", size);    dump("Removing font size\n");  } else {    dump("Setting font size\n");    window.editorShell.SetTextProperty("font", "size", size);  }  contentWindow.focus();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/8f1b0f0e2f48f83a0ca1fc5b895d4b1c08312577/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js