const char *web_link; /* if set; modal */
i32 web_choice;
+
+ GLuint prem_tex;
}
extern menu;
void menu_init(void);
void menu_at_begin(void);
-void menu_gui(void);
+void menu_gui( ui_context *ctx );
void menu_open( enum menu_page page );
bool menu_viewing_map(void);