Merge gfxmenu into gfxmenu+multiterm

This commit is contained in:
Vladimir 'phcoder' Serbinenko 2009-12-27 22:30:00 +01:00
commit 3e4cb64ca8

View file

@ -106,6 +106,8 @@ grub_gfxmenu_view_new (const char *theme_path,
void void
grub_gfxmenu_view_destroy (grub_gfxmenu_view_t view) grub_gfxmenu_view_destroy (grub_gfxmenu_view_t view)
{ {
if (!view)
return;
grub_video_bitmap_destroy (view->desktop_image); grub_video_bitmap_destroy (view->desktop_image);
if (view->terminal_box) if (view->terminal_box)
view->terminal_box->destroy (view->terminal_box); view->terminal_box->destroy (view->terminal_box);