function FocusRingUpdate_Mail(){  // WhichPaneHasFocus() uses on top.document.commandDispatcher.focusedElement  // to determine which pane has focus  // if the focusedElement is null, we're here on a blur.  // nsFocusController::Blur() calls nsFocusController::SetFocusedElement(null),   // which will update any commands listening for "focus".  // we really only care about nsFocusController::Focus() happens,   // which calls nsFocusController::SetFocusedElement(element)  var currentFocusedElement = WhichPaneHasFocus();        if (currentFocusedElement != gLastFocusedElement) {    if (currentFocusedElement)      currentFocusedElement.setAttribute("focusring", "true");        if (gLastFocusedElement)      gLastFocusedElement.removeAttribute("focusring");    gLastFocusedElement = currentFocusedElement;    // since we just changed the pane with focus we need to update the toolbar to reflect this    // XXX TODO    // can we optimize    // and just update cmd_delete and button_delete?    UpdateMailToolbar("focus");  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/634044202ad0e89ed5e63759bb283c8d4f090335/mail3PaneWindowCommands.js/buggy/mail/base/content/mail3PaneWindowCommands.js