GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intuitive interface. Menu fully supports user theme integration and in addition themes that carry native support can be found here http://the-panacea-projects.deviantart.com/
This is on gnome 3.30 and gno-menu 'master'-branch as of sept. 29
Gno-Menu button 'Logout User' logs out user, then suspends (puts to sleep) the computer.
Logout from gnome system menu (or by Ctrl+Alt+Del) works as expected.
The-Panacea-Projects
commented
5 years ago
This is on gnome 3.30 and gno-menu 'master'-branch as of sept. 29
Gno-Menu button 'Logout User' logs out user, then suspends (puts to sleep) the computer. Logout from gnome system menu (or by Ctrl+Alt+Del) works as expected.