rem: case "VK_F2": renameProfile(); 
add: case KeyEvent.DOM_VK_F2: RenameProfile(); 
context: function onProfilesKey(aEvent){  switch( aEvent.keyCode )   {  case 46:    confirmDelete();    break;  case "VK_F2":    renameProfile();    break;  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10234/b8bb9a8f70326907ab0332e71107d66b3ac9321b/profileSelection.js/buggy/toolkit/profile/content/profileSelection.js