rem:  document.getElementById('cmd_SwitchTextDirection').setAttribute('disabled', !document.commandDispatcher.focusedElement); 
add: if (gBidiUI) goUpdateCommand('cmd_switchTextDirection'); 
context: function goUpdateGlobalEditMenuItems(){  goUpdateCommand('cmd_undo');  goUpdateCommand('cmd_redo');  goUpdateCommand('cmd_cut');  goUpdateCommand('cmd_copy');  goUpdateCommand('cmd_paste');  goUpdateCommand('cmd_selectAll');  goUpdateCommand('cmd_delete');  // XXX: implement controller for cmd_SwitchTextDirection  document.getElementById('cmd_SwitchTextDirection').setAttribute('disabled', !document.commandDispatcher.focusedElement);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/37d2c1066e20cb2bda4767e6acba5e004154be7f/utilityOverlay.js/buggy/browser/base/content/utilityOverlay.js