I wonder if a patch to introduce an offset into the GtkMenu initial popup
position would be accepted.
There is already a style property "horizontal-offset" and "vertical-offset"
that applies to submenus. Perhaps an "initial-offset" property that would
kick the initial menu over by that value in b
For what it's worth, I'm guessing the current behavior is what was intended
all along, and we've all been using what was previously an accidental
'feature' to accomplish something (using padding as a menu offset) to
improve the usability of the context menus.
On Tue, Oct 29, 2013 at 9:26 PM, Emil
Hi,
On 30/10/13 01:10, Michael Webster wrote:
> Apologies if this has been brought up already...
>
> This patch:
>
> https://git.gnome.org/browse/gtk+/commit/gtk/gtkmenu.c?id=01dc23cdec377c9d9897cc32bf28ec1d241b29fa
Is it just me or all these changes we've recently made are not 'deprecations'
b
Apologies if this has been brought up already...
This patch:
https://git.gnome.org/browse/gtk+/commit/gtk/gtkmenu.c?id=01dc23cdec377c9d9897cc32bf28ec1d241b29fa
deprecated GtkMenu-horizontal-padding and GtkMenu-vertical-padding,
suggesting that CSS padding is used instead. The problem is that th