Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: PATCH: numeric argument in widgets

X-seq: zsh-workers 5573
From: Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>
To: zsh-workers@xxxxxxxxxxxxxx
Subject: Re: PATCH: numeric argument in widgets
Date: Mon, 01 Mar 1999 14:07:01 +0100
In-reply-to: "Sven Wischnowsky"'s message of "Mon, 01 Mar 1999 13:19:06 NFT." <199903011219.NAA14496@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm

Sven Wischnowsky wrote:
> +set_cursor(Param pm, long x)

that should be `set_numeric'.

-- 
Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>       Tel: +39 050 844536
WWW:  http://www.ifh.de/~pws/
Dipartimento di Fisica, Via Buonarroti 2, 56127 Pisa, Italy

References:
- PATCH: numeric argument in widgets
  - From: Sven Wischnowsky

Messages sorted by: Reverse Date, Date, Thread, Author