torios team mailing list archive

Thread
Date

JWM menu programs

To: torios <torios@xxxxxxxxxxxxxxxxxxx>
From: Israel <israeldahl@xxxxxxxxx>
Date: Sun, 30 Jul 2017 16:30:56 -0500
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1

Hi everyone,

I had informed the developers list of the changes I had recently made to
the menu programs.

The 'Apps' menu and the 'Places' menu are both MUCH quicker than they
previously were.

I switched to using pugi::xml for the backend and this made things go
much better.


The places menu now can quickly read larger submenu depths and display
them in much less time.

To change the submenu depth to /<NUMBER>/ depth, you can run

jwm-places /<NUMBER>/

You can also manually edit the config file

~/.config/menus/jwm-places.conf

submenus=/<NUMBER>/

For example:

submenus=2

jwm-places 2

This will be available in version:

jwm-menu - 3.0.1ubuntu1+101~ubuntu14.04.1


Please give any feedback as needed.

-- 
Regards