rem: if (isDocumentFrame(document.commandDispatcher.focusedWindow)) { 
add: var focusedWindow = document.commandDispatcher.focusedWindow; if (isDocumentFrame(focusedWindow)) { 
context: function contentAreaFrameFocus(){  if (isDocumentFrame(document.commandDispatcher.focusedWindow)) {    gFocusedURL = focusedWindow.location.href;    var saveFrameItem = document.getElementById("savepage");    saveFrameItem.removeAttribute("hidden");  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/4a7d4faa03c77b40ae0794ddbbbe236ab29e9325/navigator.js/buggy/xpfe/browser/resources/content/navigator.js