From bcfd0cf0facdcd1d713f3ff673662fc75426b479 Mon Sep 17 00:00:00 2001 From: Vladimir 'phcoder' Serbinenko Date: Mon, 3 May 2010 23:14:23 +0200 Subject: [PATCH] Pause before returning to menu editor --- normal/menu_entry.c | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/normal/menu_entry.c b/normal/menu_entry.c index 20d602597..433208116 100644 --- 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 */