37 lines
1.3 KiB
Diff
37 lines
1.3 KiB
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
|
|
diff -Nru grub-2.02.orig/grub-core/normal/menu.c grub-2.02/grub-core/normal/menu.c
|
|
--- grub-2.02.orig/grub-core/normal/menu.c 2015-09-02 22:10:53.000000000 +0200
|
|
+++ grub-2.02/grub-core/normal/menu.c 2017-10-30 16:52:29.545653772 +0100
|
|
@@ -810,9 +810,6 @@
|
|
notify_booting (grub_menu_entry_t entry,
|
|
void *userdata __attribute__((unused)))
|
|
{
|
|
- grub_printf (" ");
|
|
- grub_printf_ (N_("Booting `%s'"), entry->title);
|
|
- grub_printf ("\n\n");
|
|
}
|
|
|
|
/* Callback invoked when a default menu entry executed because of a timeout
|