add: /* Disable CTRL keys that we "know" how to handle. */ console.ctrlkey_passthru|=3246080; 
context: function draw_main(topline){	/*	 * Called to re-display the main menu.	 * topline is false when the top line doesn't need redrawing.	 */	if(topline)		cleararea(1,1,console.screen_columns,console.screen_rows,true);	else		cleararea(1,2,console.screen_columns,console.screen_rows,true);}
meta: 9592	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9592/70493357eaef9b883fc33977a03652d408e20d61/lbshell.js/buggy/lbshell.js