diff: src/ui.h
src/ui.h
- changeset 3379
- 16c2d0fd0801
- parent 3376
- 9fc15174bd67
- child 3391
- 80a19cca79da
--- a/src/ui.h Mon Aug 05 08:47:52 2002 +0000 +++ b/src/ui.h Tue Aug 06 03:02:18 2002 +0000 @@ -477,6 +477,7 @@ extern void show_privacy_options(); extern void build_allow_list(); extern void build_block_list(); +extern void destroy_fontsel(GtkWidget *w, gpointer d); /* Functions in multi.c */ extern void account_editor(GtkWidget *, GtkWidget *);
