f32 min, f32 max, f32 *value, const char *format );
void ui_colourpicker( ui_rect inout_panel, const char *str_label, v4f value );
int ui_textbox( ui_rect inout_panel, const char *label,
f32 min, f32 max, f32 *value, const char *format );
void ui_colourpicker( ui_rect inout_panel, const char *str_label, v4f value );
int ui_textbox( ui_rect inout_panel, const char *label,