static void prefs_filter_dest_radio_button_toggled (void);
static void prefs_filter_notrecv_radio_button_toggled (void);
+static gint prefs_filter_deleted (GtkWidget *widget,
+ GdkEventAny *event,
+ gpointer data);
static void prefs_filter_key_pressed (GtkWidget *widget,
GdkEventKey *event,
gpointer data);
-static void prefs_filter_close ();
+static void prefs_filter_close (void);
void prefs_filter_open(void)
{
gtk_window_set_title (GTK_WINDOW(window),
_("Filter setting"));
gtk_signal_connect (GTK_OBJECT(window), "delete_event",
- GTK_SIGNAL_FUNC(prefs_filter_close), NULL);
+ GTK_SIGNAL_FUNC(prefs_filter_deleted), NULL);
gtk_signal_connect (GTK_OBJECT(window), "key_press_event",
GTK_SIGNAL_FUNC(prefs_filter_key_pressed), NULL);
gtk_signal_connect (GTK_OBJECT(window), "focus_in_event",
gtk_widget_set_sensitive(filter.destsel_btn, FALSE);
}
+static gint prefs_filter_deleted(GtkWidget *widget, GdkEventAny *event,
+ gpointer data)
+{
+ prefs_filter_close();
+ return TRUE;
+}
+
static void prefs_filter_key_pressed(GtkWidget *widget, GdkEventKey *event,
gpointer data)
{