Re: Independent menu system

[Pierre Tomon]

There is also jgmenu, fast, customizable, does not use toolkits but
cairo and pango to render the menu. Possibility to add widgets such as
search box.

https://github.com/jgmenu/jgmenu
In the repo.