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

Re: PATCH: 3.1.5*: Re: [bug] Resizing an xterm while zsh queries the user



On Fri, Feb 05, 1999 at 14:02:18 +0100, Peter Stephenson wrote:
> Vincent Lefevre wrote:
> > For instance, if I type "rm blah/*", zsh asks:
> > 
> > zsh: sure you want to delete all the files in /home/vlefevre/blah [yn]?
> > 
> > But if I resize the xterm, zsh considers that I've typed [return],
> > though I haven't typed anything. Could this be fixed?
> 
> Here's a simple patch for that.  I'm not in one of my moods for
> oversophistication.
[snip]

It doesn't work very well. For instance:

$ echo blaj
zsh: correct 'blaj' to 'blah' [nyae]?

If I type Ctrl-C, it displays:

zsh: correct 'blaj' to 'blah' [nyae]? ^C

but still waits for a character. Then, if I type "y", it displays nothing
and "echo " goes to the history.

-- 
Vincent Lefevre <Vincent.Lefevre@xxxxxxxxxxx> - PhD stud. in Computer Science
Web: http://www.ens-lyon.fr/~vlefevre/ - 100% validated HTML - Acorn Risc PC,
Yellow Pig 17, Championnat International des Jeux Mathematiques et Logiques,
TETRHEX, Faits divers insolites, etc...



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