hide_shell        586 applications/mp4client/main.c 					hide_shell(shell_visible ? 1 : 0);
hide_shell        704 applications/mp4client/main.c 				hide_shell(shell_visible ? 1 : 0);
hide_shell       1499 applications/mp4client/main.c 		hide_shell(1);
hide_shell       2332 applications/mp4client/main.c 		hide_shell(2);