GNOME Bugzilla – Bug 711760
GtkMenu no longer has a way for themes to shift popup menus out from under the pointer
Last modified: 2014-03-04 15:34:19 UTC
As of 3.8, the GtkMenu style properties horizontal- and vertical-padding have been deprecated, and are ignored. They were commonly used by themes to shift the menu by a pixel or two out from under the pointer, to prevent accidental selection of popup menu items on the initial right-click and then release.
Created attachment 259400 [details] [review] Patch to add a new style property to GtkMenu to restore previous (unintentional) functionality This applies just fine to 3.8.4 as well as master - would be nice to see it backported. Thanks
+1 This may not be the final solution for https://github.com/linuxmint/Cinnamon/issues/2871, but as long as this is not fixed, at least leave themes the option to fix it by themselves.
*** This bug has been marked as a duplicate of bug 591258 ***