# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 796622190 0
# Node ID d5cd4e37533527cada9c23b8df07eacfd9027a86
# Parent  039420ad38d02fb8740ee9690a7ee50e9d07f659
(wipe_kboard): Make this function static.
(delete_kboard): New function, extracted from x_delete_display.

diff -r 039420ad38d0 -r d5cd4e375335 src/keyboard.c
--- a/src/keyboard.c	Fri Mar 31 03:53:28 1995 +0000
+++ b/src/keyboard.c	Fri Mar 31 03:56:30 1995 +0000
@@ -6487,7 +6487,7 @@
  * 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 @@
     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 */