[gtk+] Readd line removed by mistake in the previous commit

[Paolo Borelli <pborelli src gnome org>]

commit 84b44dd2acd82d907e2e4e3b409a8e784e7ec05a
Author: Paolo Borelli <pborelli gnome org>
Date:   Tue Jan 14 20:23:52 2014 +0100

    Readd line removed by mistake in the previous commit

 gtk/gtknotebook.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtknotebook.c b/gtk/gtknotebook.c
index 43bf4c8..175b61c 100644
--- a/gtk/gtknotebook.c
+++ b/gtk/gtknotebook.c
@@ -3303,6 +3303,10 @@ gtk_notebook_leave_notify (GtkWidget        *widget,
 {
   GtkNotebook *notebook = GTK_NOTEBOOK (widget);
   GtkNotebookPrivate *priv = notebook->priv;
+  gint x, y;
+
+  if (!get_widget_coordinates (widget, (GdkEvent *)event, &x, &y))
+    return FALSE;
 
   if (priv->prelight_tab != NULL)
     {