rem: } dump("Set text property -- calling focus()\n"); window.focus(); 
add: } contentWindow.focus(); 
context: function EditorSetTextProperty(property, attribute, value){  if (appCore) {    appCore.setTextProperty(property, attribute, value);  }          dump("Set text property -- calling focus()\n");  window.focus();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/c624b316cbbd3dd6a1399923f2498fe76eb6c9bd/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js