[gtk+] notebook: Fix wrong tab widgets allocation

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

commit 7479e6cb50655c6df52b566c4c6269c83c81254e
Author: Timm Bäder <mail baedert org>
Date:   Thu Jan 4 21:38:22 2018 +0100

    notebook: Fix wrong tab widgets allocation
    
    Since we allocate the tab widgets on demand, we have to queue an extra
    resize here.

 gtk/gtknotebook.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtknotebook.c b/gtk/gtknotebook.c
index 2a2e8a8..08b7b37 100644
--- a/gtk/gtknotebook.c
+++ b/gtk/gtknotebook.c
@@ -5425,6 +5425,7 @@ gtk_notebook_real_switch_page (GtkNotebook     *notebook,
   update_arrow_state (notebook);
 
   gtk_widget_queue_resize (GTK_WIDGET (notebook));
+  gtk_widget_queue_resize (priv->tabs_widget);
   g_object_notify_by_pspec (G_OBJECT (notebook), properties[PROP_PAGE]);
 }