delete_kboard     473 src/keyboard.h extern void delete_kboard (KBOARD *);
delete_kboard     355 src/terminal.c       delete_kboard (terminal->kboard);