GtkMenu padding - need an alternative for providing an offset

[Michael Webster <miketwebster gmail com>]

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 these two values were commonly used to provide a slight 'nudge' to context menus to prevent the first item in the menu from being automatically highlighted (and possibly inadvertantly selected) when the context menu appeared under the pointer.

With this deprecation, we can no longer do this - and adding more padding is simply compensated for in the positioning code, so that first menu item is always selected.

It would be nice to have some sort of either gtk setting or even hard-code in 1 or 2 pixels of extra position in X and Y to avoid this situation, which could be very frustrating to deal with.

Thanks