diff --git a/src/terminal-screen.c b/src/terminal-screen.c index b7f472e..98c7b4d 100644 --- a/src/terminal-screen.c +++ b/src/terminal-screen.c @@ -1568,7 +1568,7 @@ terminal_screen_button_press (GtkWidget *widget, state = event->state & gtk_accelerator_get_default_mod_mask (); - matched_string = terminal_screen_check_match (screen, event, &matched_flavor); + matched_string = terminal_screen_check_match (screen, (GdkEvent*)event, &matched_flavor); if (matched_string != NULL && (event->button == 1 || event->button == 2) &&