Thanks for your bugreport.
Do you have edited the menu with a tool like the gnome menu editor? What does your .config/menus/applications.menu file look like?
Thanks for your bugreport.
Do you have edited the menu with a tool like the gnome menu editor? What does your .config/ menus/applicati ons.menu file look like?