rem: if (is_safari) { tip = 'CTRL+'; } 
add: if (is_macos) { tip = 'CTRL+'; } 
context: function updateAccessKeyTooltip() {  // determin tooltip text (order matters)  var tip = 'ALT+'; //default  if (is_safari) { tip = 'CTRL+'; }  if (is_opera) { tip = 'SHIFT+ESC '; }  // add other cases here...  // do tooltip update  if (tip=='ALT+') { return; }  var exp = /\[ALT\+/i;  var rep = '['+tip;  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');  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/e135fd5d34238f99761d5fb3b41c46c67f8b6316/script.js/clean/lib/scripts/script.js