From 75da8ddeb8300b1ce3dedb6e7c2e67511a182ec1 Mon Sep 17 00:00:00 2001 From: raveit65 Date: Fri, 8 Jul 2016 17:00:15 +0200 Subject: [PATCH] screen: fix a Wincompatible-pointer-types warning probably introduced with vte291 port compared with: https://git.gnome.org/browse/gnome-terminal/commit/?h=gnome-3-14&id=7da07d5 --- src/terminal-screen.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) &&