Probably from here Global menu is getting cut out and https://www.omgubuntu.co.uk/2017/04/global-menu-for-gnome-extension-development
Sad.