(parse_action_list): Handle the case "(insert INTEGER)".

diff --git a/src/input.c b/src/input.c
index 76f0261..635efb9 100644 (file)
--- a/src/input.c
+++ b/src/input.c
@@ -830,6 +830,13 @@ parse_action_list (MPlist *plist, MPlist *macros)
                  if (mtext_nchars (MPLIST_MTEXT (pl)) == 0)
                    MERROR (MERROR_IM, -1);
                }
+             else if (MPLIST_INTEGER_P (pl))
+               {
+                 int c = MPLIST_INTEGER (pl);
+
+                 if (c < 0 || c > MCHAR_MAX)
+                   MERROR (MERROR_IM, -1);
+               }
              else if (MPLIST_PLIST_P (pl))
                {
                  MPLIST_DO (pl, MPLIST_PLIST (pl))