24 lines
804 B
Diff
24 lines
804 B
Diff
diff -Nru grub-2.02.orig/grub-core/gfxmenu/view.c grub-2.02/grub-core/gfxmenu/view.c
|
|
--- grub-2.02.orig/grub-core/gfxmenu/view.c 2015-05-21 17:50:29.000000000 +0200
|
|
+++ grub-2.02/grub-core/gfxmenu/view.c 2017-10-30 16:53:55.109658971 +0100
|
|
@@ -598,19 +598,6 @@
|
|
static void
|
|
notify_booting (grub_menu_entry_t entry, void *userdata)
|
|
{
|
|
- grub_gfxmenu_view_t view = (grub_gfxmenu_view_t) userdata;
|
|
-
|
|
- char *s = grub_malloc (100 + grub_strlen (entry->title));
|
|
- if (!s)
|
|
- return;
|
|
-
|
|
- grub_sprintf (s, "Booting '%s'", entry->title);
|
|
- set_progress_message (view, s);
|
|
- grub_free (s);
|
|
- grub_gfxmenu_view_redraw (view, &view->progress_message_frame);
|
|
- grub_video_swap_buffers ();
|
|
- if (view->double_repaint)
|
|
- grub_gfxmenu_view_redraw (view, &view->progress_message_frame);
|
|
}
|
|
|
|
static void
|