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

Re: [PATCH] Re: Bug: Callback to widget set with `zle -Fw <widget>` shouldn't change $LASTWIDGET

X-seq: zsh-workers 51314
From: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
To: Zsh hackers list <zsh-workers@xxxxxxx>
Subject: Re: [PATCH] Re: Bug: Callback to widget set with `zle -Fw <widget>` shouldn't change $LASTWIDGET
Date: Tue, 17 Jan 2023 09:22:18 +0000 (GMT)
Archived-at: <https://zsh.org/workers/51314>
Importance: Normal
In-reply-to: <CAH+w=7Y4jT5kNNSkCXZMcFg7kzTew3LDfLgq8zPkr30D5=QSsA@mail.gmail.com>
List-id: <zsh-workers.zsh.org>
References: <CAHLkEDuuosi7udHsQ9uaBRcv5poEUU_i1iSRGgEXFbtBkzHQOQ@mail.gmail.com> <CAH+w=7Y4jT5kNNSkCXZMcFg7kzTew3LDfLgq8zPkr30D5=QSsA@mail.gmail.com>

> On 17/01/2023 00:01 Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> Is this good enough, or is there a need to consider that the handler
> might delete the previous last widget?  What does/should happen in
> that case (or when a widget deletes itself, for that matter)?

I can't think of a good way of handling that without a fair measure
of complexity both in the shell and for the user.  I think just keeping
the old name and letting the user deal with it further is good enough.

pws

Follow-Ups:
- Re: [PATCH] Re: Bug: Callback to widget set with `zle -Fw <widget>` shouldn't change $LASTWIDGET
  - From: Bart Schaefer

References:
- [PATCH] Re: Bug: Callback to widget set with `zle -Fw <widget>` shouldn't change $LASTWIDGET
  - From: Bart Schaefer

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