From 933cb857cf25a614af212e8d775b33a1195b6a8e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timm=20B=C3=A4der?= Date: Fri, 20 Jul 2018 18:43:26 +0200 Subject: [PATCH] menu: Allocate children according to scroll_offset This was done by simply moving the bin_window before but now we have to do it ourselves. --- gtk/gtkmenu.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c index c98ba1bbb7..b8d4f5aa1c 100644 --- a/gtk/gtkmenu.c +++ b/gtk/gtkmenu.c @@ -2580,7 +2580,7 @@ gtk_menu_size_allocate (GtkWidget *widget, child_allocation.width = (r - l) * base_width; child_allocation.height = 0; child_allocation.x = l * base_width; - child_allocation.y = 0; + child_allocation.y = - priv->scroll_offset; for (i = 0; i < b; i++) { @@ -3726,6 +3726,7 @@ gtk_menu_scroll_to (GtkMenu *menu, gtk_css_node_set_state (bottom_arrow_node, priv->lower_arrow_state); priv->scroll_offset = offset; + gtk_widget_queue_allocate (GTK_WIDGET (menu)); } static gboolean