context: function InitDialog(){  nameInput.value = globalElement.getAttribute("name");}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/55e2ac48d1fb48ad8a914b30500b323d66968a41/EdNamedAnchorProps.js/buggy/editor/ui/dialogs/content/EdNamedAnchorProps.js