From 3be1bffc775b8a89acc3a17ba27e406dca6ef3c3 Mon Sep 17 00:00:00 2001 From: William Hua Date: Mon, 13 Mar 2017 04:07:37 -0400 Subject: [PATCH] mir: remove unused generate_configure_event () --- gdk/mir/gdkmireventsource.c | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/gdk/mir/gdkmireventsource.c b/gdk/mir/gdkmireventsource.c index f769c82b6b..fedcd70a71 100644 --- a/gdk/mir/gdkmireventsource.c +++ b/gdk/mir/gdkmireventsource.c @@ -504,21 +504,6 @@ handle_window_event (GdkWindow *window, } } -static void -generate_configure_event (GdkWindow *window, - gint width, - gint height) -{ - GdkEvent *event; - - event = gdk_event_new (GDK_CONFIGURE); - event->configure.send_event = FALSE; - event->configure.width = width; - event->configure.height = height; - - send_event (window, get_pointer (window), event); -} - static void handle_close_event (GdkWindow *window) {