On Sun, Jul 07, 2002 at 04:19:50PM -0400, Thomas Gardiner wrote:
>
> Okay, then maybe the man page is written incorrectly? I find this in the
> man page for FvwmPager:
>
> *FvwmPager: Label desk label
> Assigns the text label to desk desk (or the current
> desk if desk is "*") in the pager window. Useful
> for assigning symbolic names to desktops, i.e.
>
>
> My interpretation of the first sentence is that if I do
>
> *FvwmPager: Label * my_label
>
> that the current desk should be labeled "my_label".
>
> I guess I'm misunderstanding this sentence... As for the labels for the
> rest of the desks, I'm finding that by default they are labeled "Desk #"
> where # is the desk number.
Ah, sure. I shouldn't have replied without re-reading the man
page. The '*' applies to the desk that is currently shown when
the pager is created. If you start the pager while desk 2 is
shown, the label is applied to desk 2. If you'r on desk 345, it's
applied to desk 345. It's not dynamic.
Bye
Dominik ^_^ ^_^
--
Dominik Vogt, dominik.vogt_at_gmx.de
Reply-To: dominik.vogt_at_gmx.de
--
Visit the official FVWM web page at <URL: http://www.fvwm.org/>.
To unsubscribe from the list, send "unsubscribe fvwm" in the body of a
message to majordomo_at_fvwm.org.
To report problems, send mail to fvwm-owner_at_fvwm.org.
Received on Sun Jul 07 2002 - 18:46:15 BST