path: root/src/fe-gtk/update.h

void menu_update (GtkWidget * wid, gpointer sess);