rem: function updateProfileName( aTextFieldElement ) 
add: function updateProfileName() 
context: function updateProfileName( aTextFieldElement ){  if( detect ) {    var folderDisplayElement = document.getElementById( "ProfileDir" );    var rootFolder = folderDisplayElement.getAttribute( "rootFolder" );    dump("*** rootFolder = " + rootFolder + "\n");    var stringValue = rootFolder + aTextFieldElement.value;    folderDisplayElement.setAttribute( "value", stringValue );  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/72d67fd1735524a11b03e69c7e6e155d6f47fbdd/newProfile1_2.js/buggy/profile/resources/content/newProfile1_2.js