rem: if (isDocumentFrame(focusedWindow)) url = focusedWindow.location.href; else url = window._content.location.href; 
add: var url = getContentFrameURI(focusedWindow); 
context: function editPageOrFrame(){  var url;  var focusedWindow = document.commandDispatcher.focusedWindow;  if (isDocumentFrame(focusedWindow))    url = focusedWindow.location.href;  else    url = window._content.location.href;  editPage(url, window, false)}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/d9dffe0d1631b13fda8fccc98b252517d1dd8814/editorApplicationOverlay.js/clean/editor/ui/composer/content/editorApplicationOverlay.js