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 */