[gtk+/wip/baedert/gtk-widget-destroy: 8/8] GdkEvent: OWNER_CHANGE events have a selection as well

[Timm Bäder <baedert src gnome org>]

commit be1a5494de9e4ea6a73f6dc7956eb43b91a1806b
Author: Timm Bäder <mail baedert org>
Date:   Tue Sep 26 18:22:27 2017 +0200

    GdkEvent: OWNER_CHANGE events have a selection as well

 gdk/gdkevents.c |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/gdk/gdkevents.c b/gdk/gdkevents.c
index 33c2d50..a2ffcf5 100644
--- a/gdk/gdkevents.c
+++ b/gdk/gdkevents.c
@@ -3008,7 +3008,8 @@ gdk_event_get_selection (const GdkEvent   *event,
 
   if (event->type == GDK_SELECTION_CLEAR ||
       event->type == GDK_SELECTION_NOTIFY ||
-      event->type == GDK_SELECTION_REQUEST)
+      event->type == GDK_SELECTION_REQUEST ||
+      event->type == GDK_OWNER_CHANGE)
     {
       *selection = event->selection.selection;
       return TRUE;