diff options
Diffstat (limited to 'fixes__too-large-menu-covers-bar.disabled-patch')
| -rw-r--r-- | fixes__too-large-menu-covers-bar.disabled-patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/fixes__too-large-menu-covers-bar.disabled-patch b/fixes__too-large-menu-covers-bar.disabled-patch deleted file mode 100644 index 27566c4797fe..000000000000 --- a/fixes__too-large-menu-covers-bar.disabled-patch +++ /dev/null @@ -1,21 +0,0 @@ -diff --color -U 5 -r -Z -B gtk/gtkmenu.c gtk/gtkmenu.c ---- src/gtk+-3.24.14/gtk/gtkmenu.c 2018-01-31 18:37:18.000000000 +0100 -+++ src/gtk+-3.24.14/gtk/gtkmenu.c 2018-07-16 23:43:51.061469725 +0200 -@@ -1393,10 +1393,17 @@ - const GdkRectangle *final_rect, - gboolean flipped_x, - gboolean flipped_y, - GtkMenu *menu) - { -+ if (GTK_IS_MENU_ITEM (menu->priv->widget) && GTK_IS_MENU_BAR (gtk_widget_get_parent (menu->priv->widget)) -+ && flipped_rect != NULL && final_rect != NULL && !flipped_y && flipped_rect->y > final_rect->y) -+ { -+ gint new_height = final_rect->height - (flipped_rect->y - final_rect->y); -+ if (new_height > 200) -+ gdk_window_move_resize (window, final_rect->x, flipped_rect->y, final_rect->width, new_height); -+ } - g_signal_emit (menu, - menu_signals[POPPED_UP], - 0, - flipped_rect, - final_rect, |