context: function EditorInitEditMenu(){  var DelStr = GetString(gIsMac ? "Clear" : "Delete");  // Change menu text to "Clear" for Mac   // TODO: Should this be in globalOverlay.j?  document.getElementById("menu_delete").setAttribute("value",DelStr);  // TODO: WHAT IS THE Mac STRING?  if (!gIsMac)    document.getElementById("menu_delete").setAttribute("acceltext", GetString("Del"));      //TODO: We should modify the Paste menuitem to build a submenu   //      with multiple paste format types}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/f8789832b86dfc8309876096458f8524d37821c2/editor.js/clean/editor/ui/composer/content/editor.js