/*
* DO NOT EDIT THIS FILE - it is generated by Glade.
*/
void update_status_area(GtkWidget *area);
void update_slider(GtkAdjustment *adjustment, gfloat value);
void update_buttons(int active);