Pause before returning to menu editor

diff --git a/normal/menu_entry.c b/normal/menu_entry.c
index 20d60259726a8402249e74b1cd891d4d9a1b0b8d..433208116699130dc7d5eb05a707e4636df7580c 100644 (file)
--- a/normal/menu_entry.c
+++ b/normal/menu_entry.c
@@ -1370,8 +1370,13 @@ grub_menu_entry_run (grub_menu_entry_t entry)
          goto refresh;
 
        case 24: /* C-x */
-         if (! run (screen))
-           goto fail;
+         {
+           int chars_before = grub_normal_get_char_counter ();
+           run (screen);
+
+           if (chars_before != grub_normal_get_char_counter ())
+             grub_wait_after_message ();
+         }
          goto refresh;
 
        case 18: /* C-r */