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/
When I change any setting on Gno-Menu, it freezes the entire system and I need to cold reboot. Using on Ubuntu 18.04 LTS.