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

Re: PATCH: keep region active when widget fails

X-seq: zsh-workers 33627
From: Peter Stephenson <p.stephenson@xxxxxxxxxxx>
To: Zsh workers <zsh-workers@xxxxxxx>
Subject: Re: PATCH: keep region active when widget fails
Date: Fri, 07 Nov 2014 09:36:39 +0000
In-reply-to: <8414.1415317703@thecus.kiddle.eu>
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
Organization: Samsung Cambridge Solution Centre
References: <8414.1415317703@thecus.kiddle.eu>

On Fri, 07 Nov 2014 00:48:23 +0100
Oliver Kiddle <okiddle@xxxxxxxxxxx> wrote:
> Does anyone know why we set region_active to false in handlefeep()? I
> would guess that there are perhaps cases where we want this but things
> like cursor left when you're already in the first position shouldn't
> unset region_active. Any objections to the following patch? We can
> always add the assignment to individual widgets if we find cases where
> it is desirable.

That sounds OK --- I can't see any big problem.

pws

References:
- PATCH: keep region active when widget fails
  - From: Oliver Kiddle

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