Searched refs:display_file (Results 1 - 14 of 14) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | version.c | 56 display_file(OPTIONS_USED, TRUE);
|
H A D | pager.c | 936 case 0: display_file(HELP, TRUE); break; 937 case 1: display_file(SHELP, TRUE); break; 942 case 6: display_file(OPTIONFILE, TRUE); break; 944 case 8: display_file(LICENSE, TRUE); break; 947 default: display_file(DEBUGHELP, TRUE); break; 960 display_file(HISTORY, TRUE);
|
H A D | allmain.c | 510 if(iflags.news) display_file(NEWS, FALSE);
|
H A D | mail.c | 521 display_file(mailbox, TRUE);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | version.c | 56 display_file(OPTIONS_USED, TRUE);
|
H A D | pager.c | 936 case 0: display_file(HELP, TRUE); break; 937 case 1: display_file(SHELP, TRUE); break; 942 case 6: display_file(OPTIONFILE, TRUE); break; 944 case 8: display_file(LICENSE, TRUE); break; 947 default: display_file(DEBUGHELP, TRUE); break; 960 display_file(HISTORY, TRUE);
|
H A D | allmain.c | 510 if(iflags.news) display_file(NEWS, FALSE);
|
H A D | mail.c | 521 display_file(mailbox, TRUE);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | unixmain.c | 256 display_file(NEWS, FALSE); 508 display_file(PORT_HELP, TRUE);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | unixmain.c | 256 display_file(NEWS, FALSE); 508 display_file(PORT_HELP, TRUE);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | winprocs.h | 90 #define display_file (*windowprocs.win_display_file) macro
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | pcmain.c | 421 display_file(NEWS, FALSE); 678 display_file( PORT_HELP, 1 );
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | winprocs.h | 90 #define display_file (*windowprocs.win_display_file) macro
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | pcmain.c | 421 display_file(NEWS, FALSE); 678 display_file( PORT_HELP, 1 );
|
Completed in 102 milliseconds