From 84b44dd2acd82d907e2e4e3b409a8e784e7ec05a Mon Sep 17 00:00:00 2001
From: Paolo Borelli <pborelli@gnome.org>
Date: Tue, 14 Jan 2014 20:23:52 +0100
Subject: [PATCH] Readd line removed by mistake in the previous commit

---
 gtk/gtknotebook.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gtk/gtknotebook.c b/gtk/gtknotebook.c
index 43bf4c8f6b..175b61c803 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)
     {