Hello, I've added the new command:
DesktopName desk name Defines the name of the desktop number desk to name. This name is used in the WindowList command and in the FvwmPager where it override the Label configuration option. Moreover, if consecutive names starting from desktop 0 are defined, then these names can be used by any EWMH compliant application (as a pager). The problem/advantage is that this cmd override the FvwmPager Label (it is also dynamic) in the case it is used. Maybe some users will want different desktop names in the FvwmPager (or in some FvwmPager's). So, do I've to add FvwmPager: OverrideFvwmDesktopName ?? Regards, Olivier -- Visit the official FVWM web page at <URL:http://www.fvwm.org/>. To unsubscribe from the list, send "unsubscribe fvwm-workers" in the body of a message to [EMAIL PROTECTED] To report problems, send mail to [EMAIL PROTECTED]
