| 936 | } |
| 937 | |
| 938 | void |
| 939 | term_startup(int *wid, int *hgt) |
| 940 | { |
| 941 | *wid = console.width; |
| 942 | *hgt = console.height; |
| 943 | set_option_mod_status("mouse_support", set_in_game); |
| 944 | } |
| 945 | |
| 946 | void |
| 947 | tty_number_pad(int state UNUSED) |
nothing calls this directly
no test coverage detected