diff -r ae161c341b49 -r bc3f0933ce54 src/gnome_applet_mgr.c --- a/src/gnome_applet_mgr.c Wed Jun 21 19:43:05 2000 +0000 +++ b/src/gnome_applet_mgr.c Fri Jun 23 04:15:51 2000 +0000 @@ -617,6 +617,8 @@ gtk_signal_connect( GTK_OBJECT(applet), "button_press_event", GTK_SIGNAL_FUNC( AppletClicked), NULL); + gtk_signal_connect( GTK_OBJECT(applet), "destroy", GTK_SIGNAL_FUNC( do_quit), NULL); + #ifdef HAVE_PANEL_PIXEL_SIZE gtk_signal_connect(GTK_OBJECT(applet), "change_pixel_size", GTK_SIGNAL_FUNC(applet_change_pixel_size), NULL);