| 2442 | specified offset and screen width. */ |
| 2443 | |
| 2444 | static void |
| 2445 | mark_key (size_t offset, size_t width) |
| 2446 | { |
| 2447 | while (offset--) |
| 2448 | putchar (' '); |
| 2449 | |
| 2450 | if (!width) |
| 2451 | printf (_("^ no match for key\n")); |
| 2452 | else |
| 2453 | { |
| 2454 | do |
| 2455 | putchar ('_'); |
| 2456 | while (--width); |
| 2457 | |
| 2458 | putchar ('\n'); |
| 2459 | } |
| 2460 | } |
| 2461 | |
| 2462 | /* Return true if KEY is a numeric key. */ |
| 2463 |