+
+if (flag == 0)
+{
+ const char *tip = grub_env_get("VTOY_MENU_TIP_ENABLE");
+ if (tip && tip[0] == '1')
+ {
+ char tmpmsg[512];
+
+ grub_memset(tmpmsg, 'w', 500);
+ tmpmsg[500] = 0;
+
+ g_menu_update_mode = 1;
+ p.len += grub_snprintf(p.buf + p.len, 4096,
+ "\n+ vbox{\n left = %s\n top = %s\n"
+ "+ label { id=\"VTOY_MENU_TIP_1\" text = \"%s\" color = \"%s\" align = \"%s\"}\n"
+ "+ label { id=\"VTOY_MENU_TIP_2\" text = \"%s\" color = \"%s\" align = \"%s\"}\n"
+ "}\n",
+ grub_env_get("VTOY_TIP_LEFT"),
+ grub_env_get("VTOY_TIP_TOP"),
+ tmpmsg,
+ grub_env_get("VTOY_TIP_COLOR"),
+ grub_env_get("VTOY_TIP_ALIGN"),
+ tmpmsg,
+ grub_env_get("VTOY_TIP_COLOR"),
+ grub_env_get("VTOY_TIP_ALIGN")
+ );
+
+ flag = 1;
+ goto parse;
+ }
+}
+
+
+