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