rem: var elements = domLib_getElementsByTagNames(['a', 'input', 'button']); 
add:  var elements = document.getElementsByTagName('a'); for (var i=0; i<elements.length; i++) { if (elements[i].accessKey.length==1 && elements[i].title.length>0) { elements[i].title = elements[i].title.replace(exp, rep); } }  elements = document.getElementsByTagName('input'); for (var i=0; i<elements.length; i++) { if (elements[i].accessKey.length==1 && elements[i].title.length>0) { elements[i].title = elements[i].title.replace(exp, rep); } }  elements = document.getElementsByTagName('button'); 
context: function updateAccessKeyTooltip() {  // determin tooltip text (order matters)  var tip = 'ALT+'; //default  if (domLib_isMac) { tip = 'CTRL+'; }  if (domLib_isOpera) { tip = 'SHIFT+ESC '; }  // add other cases here...  // do tooltip update  if (tip=='ALT+') { return; }  var exp = /\[ALT\+/i;  var rep = '['+tip;  var elements = domLib_getElementsByTagNames(['a', 'input', 'button']);  for (var i=0; i<elements.length; i++) {    if (elements[i].accessKey.length==1 && elements[i].title.length>0) {      elements[i].title = elements[i].title.replace(exp, rep);    }  }}
meta: 4895	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4895/6b379cbf0a8e0d4f0e2dcb639808b944ac8afa66/script.js/buggy/lib/scripts/script.js