Re: Independent menu system
Le Wed, 14 Dec 2022 07:42:15 -0500,
<paulf@quillandmouse.com> a écrit :
> 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
>
Yes by default, but you can also create your own menu in jgmenu
flavoured CSV format.
Reply to: