diff options
Diffstat (limited to 'filter/filter-editor.c')
| -rw-r--r-- | filter/filter-editor.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/filter/filter-editor.c b/filter/filter-editor.c index 5fa1796e3f..1c6c46291b 100644 --- a/filter/filter-editor.c +++ b/filter/filter-editor.c @@ -388,10 +388,10 @@ select_rule (GtkWidget *w, GtkWidget *child, struct _editor_data *data) } static void -double_click (GtkWidget *widget, GdkEventButton *event, gpointer user_data) +double_click (GtkWidget *widget, GdkEventButton *event, struct _editor_data *data) { - if (event->type == GDK_2BUTTON_PRESS) - rule_edit (widget, user_data); + if (data->current && event->type == GDK_2BUTTON_PRESS) + rule_edit (widget, data); } /* FIXME: we need a way to change a rule from one source type |