diff options
| -rw-r--r-- | src/keyboard.c | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index 220585d4326..c08d7ee2f3d 100644 --- a/src/keyboard.c +++ b/src/keyboard.c @@ -6487,7 +6487,7 @@ init_kboard (kb) * We use this just before deleteing it, or if we're going to initialize * it a second time. */ -void +static void wipe_kboard (kb) KBOARD *kb; { @@ -6495,6 +6495,21 @@ wipe_kboard (kb) xfree (kb->kbd_macro_buffer); } +#ifdef MULTI_KBOARD +void +delete_kboard (kb) + KBOARD *kb; +{ + KBOARD **kbp; + for (kbp = &all_kboards; *kbp != kb; kbp = &(*kbp)->next_kboard) + if (*kbp == NULL) + abort (); + *kbp = kb->next_kboard; + wipe_kboard (kb); + xfree (kb); +} +#endif + init_keyboard () { /* This is correct before outermost invocation of the editor loop */ |