/*
 * 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);