7.24. WSM.conf

Non-FVWM config file. Here, names of the desks are provided and can be changed manually of with Workspace Manager. Names of the workspace pages (for the menus) are defined here too, and manager manually only for now. Option WSPPG can have value 0 or 1. If 1, small dynamic icon similar to the Page Manager (PGM) will be shown right of the workspace name on the Workspace Manager active workspace button, but only in 2 and 4 button configuration. Off by default, edit manually.