--- np2/x11/gtk/Attic/gtk_menu.c	2004/07/05 14:34:14	1.8
+++ np2/x11/gtk/Attic/gtk_menu.c	2004/07/28 13:53:00	1.9
@@ -728,7 +728,7 @@ exit_from_menu(gpointer data, guint acti
 	UNUSED(action);
 	UNUSED(w);
 
-	gtk_widget_destroy(GTK_WIDGET(window));
+	gtk_widget_destroy(GTK_WIDGET(main_window));
 }
 
 static void