This looks like an issue in upstream gnome-menus (i.e. it occurs in Unity too), so I have filed a bug upstream. Unfortunately, it looks like gnome-menus is no longer developed upstream, so the chances to get it fixed are not that high…
This looks like an issue in upstream gnome-menus (i.e. it occurs in Unity too), so I have filed a bug upstream. Unfortunately, it looks like gnome-menus is no longer developed upstream, so the chances to get it fixed are not that high…