rem: char=e.charCode; switch (char) { 
add: c=e.charCode; switch (c) { 
context: function hop_edit_keypress_hdlr(e, id){    if (e==undefined) e=window.event;    if (e.ctrlKey) {	var propagate=false,	    char=e.charCode;	switch (char) {	  case 98:  hop_edit_action(id, "bold"); break;	  case 105: hop_edit_action(id, "italic"); break;	  case 117: hop_edit_action(id, "underline"); break;	  default: propagate = true;	}	if (!propagate) {	   hop_stop_propagation(e);	}    }}
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/0f13875c170bf295e968ddf1b168f1b43c73a3ad/hop-editor.js/clean/share/hop-editor.js