torios team mailing list archive
Mailing list archive
JWM menu programs
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
I switched to using pugi::xml for the backend and this made things go
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
You can also manually edit the config file
This will be available in version:
jwm-menu - 3.0.1ubuntu1+101~ubuntu14.04.1
Please give any feedback as needed.