On Wed, 14 Dec 2022 11:55:39 +0100 Pierre Tomon <pierreto...@ik.me> wrote:
> > 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. > Yes, I found this. It appears to produce the same type of menu that other desktop environments provide, without their panels. Paul -- Paul M. Foster Personal Blog: http://noferblatz.com Company Site: http://quillandmouse.com Software Projects: https://gitlab.com/paulmfoster
