--- a/src/prefs.c Tue Oct 10 10:35:05 2000 +0000 +++ b/src/prefs.c Tue Oct 10 10:48:23 2000 +0000 @@ -64,7 +64,6 @@ static GtkWidget *prefdialog = NULL; static GtkWidget *debugbutton = NULL; -static GtkWidget *prefrem = NULL; GtkWidget *prefs_away_list = NULL; static void destdeb(GtkWidget *m, gpointer n) @@ -73,12 +72,6 @@ debugbutton = NULL; } -static void remdes(GtkWidget *m, gpointer n) -{ - gtk_widget_destroy(prefrem); - prefrem = NULL; -} - static void general_page() { GtkWidget *parent;