On Tue, Dec 11, 2001 at 10:15:34AM +0100, Dominik Vogt wrote: > 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? >
Yes, 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]
