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