add: contentWindow.focus(); 
context: function EditorIndent(indent){  dump("indenting\n");  if (appCore) {    appCore.indent(indent);  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/351d18f8fab2b14cc9f3fa977da6c5abf1878cb9/EditorCommands.js/clean/editor/ui/composer/content/EditorCommands.js