rem: aDocument = window._content.document; 
add: aDocument = window.content.document; 
context: function editDocument(aDocument)      {  if (!aDocument)    aDocument = window._content.document;  editPage(aDocument.URL, window, false); }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/766d404cfe3d0b6d61d9fede0b76e1d13ab33d52/editorApplicationOverlay.js/buggy/editor/ui/composer/content/editorApplicationOverlay.js