void menu_update (GtkWidget * wid, gpointer sess);