add: profileList.ensureElementIsVisible( currentProfileItem ); } 
context: function highlightCurrentProfile(){  try {    var currentProfile = profile.currentProfile;    if( !currentProfile )      return;    var currentProfileItem = document.getElementById( ( "profileName_" + currentProfile ) );    var profileList = document.getElementById( "profiles" );    if( currentProfileItem )      profileList.selectItem( currentProfileItem );  }  catch(e) {    dump("*** failed to select current profile in list\n");  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/377edc92ac205baf7e16362330e9a1fee46aa4ae/profileSelection.js/clean/profile/resources/content/profileSelection.js