add: menus_displayed.pop(); 
context: function show_settingsmenu(){	var settingsmenu=new Settingsmenu();	while(1) {		switch(settingsmenu.getval()) {			case 'U':				clear_screen();				var oldshell=user.command_shell;				bbs.user_config();				/* Still using this shell? */				if(user.command_shell != oldshell)					exit(0);				draw_main(true);				break;			case 'B':				clear_screen();				bbs.time_bank();				draw_main(true);				break;			case KEY_RIGHT:				cleararea(settingsmenu.xpos,settingsmenu.ypos,settingsmenu.items[0].text.length,settingsmenu.items.length,true);				main_right();				return;			case KEY_LEFT:				cleararea(settingsmenu.xpos,settingsmenu.ypos,settingsmenu.items[0].text.length,settingsmenu.items.length,true);				main_left();				return;			case '\b':			case '\x7f':			case '\x1b':				cleararea(settingsmenu.xpos,settingsmenu.ypos,settingsmenu.items[0].text.length,settingsmenu.items.length,true);				return;		}	}}
meta: 9592	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9592/70493357eaef9b883fc33977a03652d408e20d61/lbshell.js/buggy/lbshell.js