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