On Tue, Dec 11, 2001 at 08:38:54AM +0100, Olivier Chapuis wrote: > 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 ??
I don't care. Do the modules reflect configuration changes without restarting? Bye Dominik ^_^ ^_^ -- Dominik Vogt, email: [EMAIL PROTECTED] LifeBits Aktiengesellschaft, Albrechtstr. 9, D-72072 Tuebingen fon: ++49 (0) 7071/7965-0, fax: ++49 (0) 7071/7965-20 -- 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]