ui_px mouse[2], mouse_delta[2], mouse_click[2];
u32 mouse_state[2];
u32 ignore_input_frames;
+ bool mouse_pos_overriden;
int wants_mouse;
ui_rect click_fader, click_fader_end;
int ui_click_down( u32 mask );
int ui_clicking( u32 mask );
int ui_click_up( u32 mask );
+void ui_set_mouse_pos( ui_px x, ui_px y );
void ui_prerender(void);
u32 ui_colour( enum ui_scheme_colour id );
int ui_checkbox( ui_rect inout_panel, const char *str_label, i32 *data );
void ui_enum( ui_rect inout_panel, const char *str_label,
struct ui_enum_opt *options, u32 len, i32 *value );
-void ui_slider( ui_rect inout_panel, const char *str_label,
+bool ui_slider( ui_rect inout_panel, const char *str_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,