I think the menu patches are basically going to have to be redone.
Check https://wiki.gnome.org/HowDoI/AlternateMenubarLayout
I think the menu patches are basically going to have to be redone.
Check https:/ /wiki.gnome. org/HowDoI/ AlternateMenuba rLayout