# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 815081581 0
# Node ID cc0f24bdfab15d94b6daf788db759ca86ded2bd2
# Parent  f68eab5a63d23f4893df679111783f9537cfd88e
(describe_translation): Insert newline after key description.

diff -r f68eab5a63d2 -r cc0f24bdfab1 src/keymap.c
--- a/src/keymap.c	Mon Oct 30 19:28:49 1995 +0000
+++ b/src/keymap.c	Mon Oct 30 19:33:01 1995 +0000
@@ -2117,7 +2117,10 @@
       insert_string ("\n");
     }
   else if (STRINGP (definition) || VECTORP (definition))
-    insert1 (Fkey_description (definition));
+    {
+      insert1 (Fkey_description (definition));
+      insert_string ("\n");
+    }
   else
     {
       tem1 = Fkeymapp (definition);