rem: e.preventDefault(); e.stopPropagation(); 
add: hop_stop_propagation(e); 
context: function hop_edit_keypress_hdlr(e, id){    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;	  case 113: hop_edit_update_interface2(id); break;	  default: propagate = true;	}	if (!propagate) {	    e.preventDefault();	    e.stopPropagation();	}    }}
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/25d9ce99298d54dd2c4ffab4a9109a8fbab2a981/hop-editor.js/clean/share/hop-editor.js