diff -Naur grub-2.00/grub-core/gfxmenu/gui_list.c grub-new/grub-core/gfxmenu/gui_list.c --- grub-2.00/grub-core/gfxmenu/gui_list.c 2011-12-14 14:36:07.000000000 +0400 +++ grub-new/grub-core/gfxmenu/gui_list.c 2013-03-25 17:24:09.283623915 +0400 @@ -31,6 +31,7 @@ grub_gui_container_t parent; grub_video_rect_t bounds; char *id; + int list_version; int visible; int icon_width; @@ -519,6 +520,10 @@ grub_free (self->theme_dir); self->theme_dir = value ? grub_strdup (value) : 0; } + else if (grub_strcmp (name, "version") == 0) + { + self->list_version = grub_strtol (value, 0, 10); + } else if (grub_strcmp (name, "id") == 0) { grub_free (self->id); @@ -574,6 +579,7 @@ self->list.ops = &list_ops; self->list.component.ops = &list_comp_ops; + self->list_version = 0; self->visible = 1; default_font = grub_font_get ("Unknown Regular 16");