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

Re: PATCH: make get-line widget update history number

X-seq: zsh-workers 32452
From: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
To: Zsh workers <zsh-workers@xxxxxxx>
Subject: Re: PATCH: make get-line widget update history number
Date: Sat, 1 Mar 2014 18:57:27 +0000
In-reply-to: <140228183037.ZM5759@torch.brasslantern.com>
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
References: <1190.1393633237@thecus.kiddle.eu> <140228183037.ZM5759@torch.brasslantern.com>

On Fri, 28 Feb 2014 18:30:37 -0800
Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> On Mar 1,  1:20am, Oliver Kiddle wrote:
> }
> } I'm trying to think of things that this might possibly break but I
> } can't. I don't think I've ever used get-line before. Anyone else see a
> } problem?
> 
> No; this looks like something that always should have been there.

...and given this appears to be a fairly obscure feature, "suck it and
see" seems to be about the best way of proceeding anyway.

-- 
Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
Web page now at http://homepage.ntlworld.com/p.w.stephenson/

References:
- PATCH: make get-line widget update history number
  - From: Oliver Kiddle
- Re: PATCH: make get-line widget update history number
  - From: Bart Schaefer

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