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

RE: undo does not work in menu-selection

X-seq: zsh-workers 11978
From: "Andrej Borsenkow" <Andrej.Borsenkow@xxxxxxxxxxxxxx>
To: "Sven Wischnowsky" <wischnow@xxxxxxxxxxxxxxxxxxxxxxx>, <zsh-workers@xxxxxxxxxxxxxx>
Subject: RE: undo does not work in menu-selection
Date: Mon, 19 Jun 2000 14:56:58 +0400
Importance: Normal
In-reply-to: <200006191024.MAA23615@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm

>
> Err? What should it undo? And keep in mind that undo has this
> possibility to go up and resume completing in menu-selection.
>
> Hm, or make it leave selection when at the `top-level'?
>

This looks natural. And it is really confusing, when undo just does
nothing at all.

> But you have noticed how ^G behaves in menu-selection, yes?
>

Ehem ... sorry, yes. Still, it is better when a widget (undo in this
case) has consistent behaviour. In this case, action is to start
menu-selection - so "undone" action is to leave menu-selection?

-andrej

References:
- Re: undo does not work in menu-selection
  - From: Sven Wischnowsky

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