Hacker News new | ask | show | jobs
by webkike 814 days ago
Gnome has a built in extension called “Applications Menu” that is just that.

I don’t really use it that much. I find opening search and typing what I want much faster. Or I use the dock