extern void gui_pan(GtkWidget *Container);