void ui_info( ui_rect inout_panel, const char *text );
void ui_image( ui_rect rect, GLuint image );
void ui_defocus_all(void);
void ui_info( ui_rect inout_panel, const char *text );
void ui_image( ui_rect rect, GLuint image );
void ui_defocus_all(void);
enum ui_button_state ui_colourbutton( ui_rect rect,
enum ui_scheme_colour colour,
enum ui_scheme_colour hover_colour,
enum ui_button_state ui_colourbutton( ui_rect rect,
enum ui_scheme_colour colour,
enum ui_scheme_colour hover_colour,
enum ui_button_state ui_colourbutton_text(
ui_rect rect, const char *string, ui_px scale,
enum ui_scheme_colour colour );
enum ui_button_state ui_button_text( ui_rect rect,
const char *string, ui_px scale );
enum ui_button_state ui_button( ui_rect inout_panel, const char *string );
enum ui_button_state ui_colourbutton_text(
ui_rect rect, const char *string, ui_px scale,
enum ui_scheme_colour colour );
enum ui_button_state ui_button_text( ui_rect rect,
const char *string, ui_px scale );
enum ui_button_state ui_button( ui_rect inout_panel, const char *string );
void ui_postrender(void);
int ui_checkbox( ui_rect inout_panel, const char *str_label, i32 *data );
void ui_postrender(void);
int ui_checkbox( ui_rect inout_panel, const char *str_label, i32 *data );