RE: FVWM: menu length control

From: Jeff Walker <jwalker_at_matchlogic.com>
Date: Fri, 19 Jan 2001 15:01:03 -0700

Oh, I'm on 2.2.4, so I guess I will check it out sometime.
How stable are the betas?

-- 
Jeff Walker                   MatchLogic, Inc.
jwalker_at_matchlogic.com        7233 Church Ranch Blvd.
Voice 1 (303) 222-2105        Westminster, CO  80021
Fax   1 (303) 222-2001        www.matchlogic.com
> -----Original Message-----
> From: Michael Han [mailto:mikehan_at_mikehan.com]
> Sent: Friday, January 19, 2001 2:52 PM
> To: Jeff Walker
> Cc: 'fvwm_at_fvwm.org'
> Subject: Re: FVWM: menu length control
> 
> 
> On Fri, Jan 19, 2001 at 02:46:34PM -0700, Jeff Walker wrote:
> > Hello list.  I have looked for the answer to my question in 
> the archives,
> > faq, etc, but didn't find anything.
> > 
> > I have a menu that I generate with FvwmPipe to read a list 
> of servers.  As
> > it turns out, this list is too long and takes up the entire 
> screen (length
> > wise, anyway).  Is there any way to make a long menu like 
> that wrap around,
> > ala win9x.  If not, is there any way to limit the number of 
> entries that are
> > displayed before the "more..." automatic submenu appears.
> 
> What version of Fvwm? It's a builtin feature in the 2.3 betas, meaning
> when 2.4 (coming Real Soon Now...) is released, you'll have it.
> -- 
> mikehan_at_mikehan.com                            http://www.mikehan.com/
> coffee achiever                              San Francisco, California
> A double negative is a no-no.
> --
> 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.
> 
--
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 Fri Jan 19 2001 - 16:01:24 GMT