rem: var thebutton = document.getElementById('change_slotname_button');   thebutton.setAttribute("disabled", "true"); thebutton = document.getElementById('login_button'); 
add: var thebutton = document.getElementById('login_button'); 
context: function enableButtons(){  var toggle = "true";  var login_toggle = "true";  var logout_toggle = "true";  var pw_toggle = "true";  getSelectedSlot();  if (!selected_slot) {    ClearInfoList();    return;  }  // here's the workaround - login functions are all with token,  // so grab the token type  var selected_token = selected_slot.getToken();  if (selected_token != null) {    toggle="false";    if (selected_token.needsLogin()) {      pw_toggle = "false";      if (selected_token.isLoggedIn()) {        login_toggle = "true";        logout_toggle = "false";      } else {        login_toggle = "false";        logout_toggle = "true";      }    }  }  var thebutton = document.getElementById('change_slotname_button');  // not implemented  //thebutton.setAttribute("disabled", toggle);  thebutton.setAttribute("disabled", "true");  thebutton = document.getElementById('login_button');  thebutton.setAttribute("disabled", login_toggle);  thebutton = document.getElementById('logout_button');  thebutton.setAttribute("disabled", logout_toggle);  thebutton = document.getElementById('change_pw_button');  // not implemented  //thebutton.setAttribute("disabled", pw_toggle);  thebutton.setAttribute("disabled", "true");  showSlotInfo();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a8d9dd1b3cf913ccadb921ed90611276f4ea82cf/device_manager.js/clean/security/manager/pki/resources/content/device_manager.js