51
51
/* Defined in `main.c'. */
52
52
void grub_enter_normal_mode (const char *config);
53
53
void grub_normal_execute (const char *config, int nested, int batch);
54
void grub_menu_init_page (int nested, int edit, int *num_entries,
55
55
struct grub_term_output *term);
56
56
void grub_normal_init_page (struct grub_term_output *term);
57
57
char *grub_file_getline (grub_file_t file);