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

Re: PATCH: give precedence to local keymaps (was Re: More on getkeycmd())

X-seq: zsh-workers 33595
From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
To: Zsh hackers list <zsh-workers@xxxxxxx>
Subject: Re: PATCH: give precedence to local keymaps (was Re: More on getkeycmd())
Date: Mon, 3 Nov 2014 01:33:16 -0800
In-reply-to: <18653.1415004330@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
References: <1050927145304.ZM23258@candle.brasslantern.com> <18653.1415004330@thecus.kiddle.eu>

On Nov 3, 2014 12:51 AM, "Oliver Kiddle" <okiddle@xxxxxxxxxxx> wrote:
>
> I'd like to back out the change in 21770:

I don't particularly object, though of course the ideal behavior would be
that the prefix would be treated as such whenever the two maps overlap.

Follow-Ups:
- Re: PATCH: give precedence to local keymaps (was Re: More on getkeycmd())
  - From: Oliver Kiddle

References:
- PATCH: give precedence to local keymaps (was Re: More on getkeycmd())
  - From: Oliver Kiddle

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