Mailing-List: contact zsh-workers-help@zsh.org; run by ezmlm
Precedence: bulk
In-reply-to: <CAHYJk3Q6aWvDL1nkcv0Ar9DSnwP2+i3Ze3DxdjDtVE3ttttymA@mail.gmail.com>
From: Oliver Kiddle <okiddle@yahoo.co.uk>
References: <1459658514-24610-1-git-send-email-mikachu@gmail.com> <24571.1459953207@thecus.kiddle.eu> <CAHYJk3Q6aWvDL1nkcv0Ar9DSnwP2+i3Ze3DxdjDtVE3ttttymA@mail.gmail.com>
To: zsh workers <zsh-workers@zsh.org>
Subject: Re: PATCH: Add SHORT_KEYBIND_DISCARD option
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <28147.1460042736.1@thecus.kiddle.eu>
Date: Thu, 07 Apr 2016 17:25:36 +0200
Message-ID: <28148.1460042736@thecus.kiddle.eu>

Mikael Magnusson wrote:
> > Didn't we discuss this issue a few months ago - have you perhaps got a
> > message reference?

I managed to find this again: users/20358 is a good reference where Bart
makes the point that this will have unpredictable effects for an unbound
function key. Some of the thread is in -workers.

We could make discarding the keys conditional upon whether KEYTIMEOUT
has elapsed since the prefix was received to account for that, however.

> I think I asked if doing what this patch does was possible, but I want
> it in general, not only because of bracketed-paste. If it were up to
> me, this way would be the only way. It doesn't really make any sense
> to me why we arbitrarily eat input just because it was a potential
> common prefix that then turned out to not be part of any actual
> keybinding. But since zsh people tend to like their things not
> changing, I did the option.

If get a prefixed key combination wrong, a beep seems cleaner than
getting the latter part inserted. 

> It just seems like a much more correct way of doing it to me.

But is it also proving an irritation in actual practice? Are you often
typing part of a long emacs-style binding and then being distracted by
something in another window, perhaps? Would a separate timeout after
which a prefix is discarded perhaps make sense?

Oliver