key++; /* F5 code is too low by 1 */
}
- getchar (); /* take in following ~ (126), but discard code */
+ (void) getchar (); /* take in following ~ (126), but discard code */
} else if (key == 50) { /* insert or F9-F12 */
key++; /* F11 and F12 are too low by 1 */
}
- getchar (); /* take in following ~ (126), but discard code */
+ (void) getchar (); /* take in following ~ (126), but discard code */
}
} else if (key == 51 || key == 53 || key == 54) { /* delete, page up/down */
- getchar (); /* take in following ~ (126), but discard code */
+ (void) getchar (); /* take in following ~ (126), but discard code */
}
} else if (key == 79) { /* F1-F4 */