add: /* We are going to a line-mode thing... re-enable CTRL keys. */ console.ctrlkey_passthru=orig_passthru;  
context: function clear_screen(){	/*	 * Called whenever a command needs to exit the menu for user interaction.	 *	 * If you'd like a header before non-menu stuff, this is the place to put	 * it.	 */	console.attributes=7;	console.clear();}
meta: 9592	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9592/70493357eaef9b883fc33977a03652d408e20d61/lbshell.js/buggy/lbshell.js