Re: Independent menu system
On Wed, 14 Dec 2022 11:55:39 +0100
Pierre Tomon <pierretom+1@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
Reply to: