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
-- Mailing list: https://launchpad.net/~torios Post to : torios@lists.launchpad.net Unsubscribe : https://launchpad.net/~torios More help : https://help.launchpad.net/ListHelp
