void zoom_resize_window(float percentage);
void draw_refresh(int flush = 1);
+ int need_overlays();
void draw_overlays();
void close_source();
int get_fullscreen();
void unset_inoutpoint();
void to_clip();
void toggle_label();
- void prev_label();
- void next_label();
+ void prev_label(int cut);
+ void next_label(int cut);
double get_position();
void set_position(double position);