theme_path = grub_env_get ("theme");
if (! theme_path)
{
+ grub_error_push ();
grub_gfxterm_fullscreen ();
+ grub_error_pop ();
return grub_error (GRUB_ERR_FILE_NOT_FOUND, "no theme specified");
}
instance = grub_zalloc (sizeof (*instance));
if (!instance)
{
+ grub_error_push ();
grub_gfxterm_fullscreen ();
+ grub_error_pop ();
return grub_errno;
}
err = grub_video_get_info (&mode_info);
if (err)
{
+ grub_error_push ();
grub_gfxterm_fullscreen ();
+ grub_error_pop ();
return err;
}
if (! cached_view)
{
grub_free (instance);
+ grub_error_push ();
grub_gfxterm_fullscreen ();
+ grub_error_pop ();
return grub_errno;
}