-
Committer:
Sebastian Geiger
-
Date:
2014-05-13 10:35:09 UTC
-
Revision ID:
sebastiangeiger@mars-20140513103509-33n42hdfz3y3wims
Workaround: Fix menus having wrong size
* This patch is needed when menus are
in a panel that appears at the bottom
of the screen. It recomputes the size
of the menu each time a menu item
is added to the menu.
* If menu items are added or removed
from the panel then it happens
that the panel gets a wrong
size allocated. This is caused by
a bug in GTK+ see [1].
* This patch is a workaround for the bug
as its unlikely the bug will get fixed
in Gtk in the near future.
[1] https://bugzilla.gnome.org/show_bug.cgi?id=726030