rem: else if (C && event.which == 83) XRai.save(); 
add: else if (C && (event.which == 83 || event.which == 115)) XRai.save(); 
context: XRai.keypressed = function (event) {  var N = !event.shiftKey && !event.ctrlKey;  var S = event.shiftKey && !event.ctrlKey;  var C = !event.shiftKey && event.ctrlKey;  var SC = event.shiftKey && event.ctrlKey;  if (N && event.which == 104) XRai.highlight();  else if (N && event.which == 117) XRai.unhighlight();  else if (N && event.which == 109) XRai.switchMode();  else if (C && event.which == 83) XRai.save();//   else if (event.which == 49)//   else if (event.which == 50)//   else if (event.which == 51)  else {     if (debug) XRai.debug("Key pressed: charchode=" + event.charCode        + ", keycode=" + event.keyCode      + ", which=" + event.which + ", shiftKey=" + event.shiftKey + ", ctrlKey=" + event.ctrlKey      + ", x= " + event.pageX + "\n");   return collection_keypress(event);  }  return false;}
meta: 8632	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8632/3afd42a73c4b214340cede74f460d338b08ef056/article.js/buggy/trunk/js/article.js