vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Replace line counter with char counter

Browse source
This commit is contained in:
Vladimir 'phcoder' Serbinenko 2010-03-23 16:51:53 +01:00
parent 36b71abfaa
commit 6fcebedeed
3 changed files with 16 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
normal/menu.c
View file

@ -558,13 +558,13 @@ show_menu (grub_menu_t menu, int nested)
}
else
{
int lines_before = grub_normal_get_line_counter ();
int chars_before = grub_normal_get_char_counter ();
grub_errno = GRUB_ERR_NONE;
grub_menu_execute_entry (e);
grub_print_error ();
grub_errno = GRUB_ERR_NONE;
if (lines_before != grub_normal_get_line_counter ())
if (chars_before != grub_normal_get_char_counter ())
grub_wait_after_message ();
}
}