rem: case "VK_F2": 
add: case KeyEvent.DOM_VK_F2: 
context: function HandleKeyEvent( aEvent ){  switch( aEvent.keyCode )   {  case 46:    if( profileManagerMode != "manager" )      return;    ConfirmDelete();    break;  case "VK_F2":    if( profileManagerMode != "manager" )      return;    RenameProfile();    break;  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/f30f0c46a396d0dece3ef7aab6f404b259d1567d/profileManager.js/clean/profile/resources/content/profileManager.js