zsh-workers
 help / color / mirror / code / Atom feed
* push-input, accept-and-hold, etc., and vared
@ 2000-03-06  6:59 Bart Schaefer
  0 siblings, 0 replies; 3+ messages in thread
From: Bart Schaefer @ 2000-03-06  6:59 UTC (permalink / raw)
  To: zsh-workers

Using push-input or accept-and-hold during vared has unexpected (to me,
at least) behavior -- to wit, the value of the variable is pushed onto
the command input stack, and vared exits, whereupon the value of the
variable is immediately popped into the PS1 editor buffer.

There may be obscure circumstances in which this is what is meant, but
(particularly in the case of "vared mapfile[...]") that's seldom so.

I'm not precisely sure what to suggest we do about it, though.  It might
be nice to have accept-and-hold set the variable but not exit vared (this
would be particularly useful with "vared mapfile[...]").  I'm at a loss
with respect to push-input and friends.  Perhaps they just shouldn't work?

On a semi-related question, is it time that vared had its own keymap?
The problem is initializing it properly, I suppose.

-- 
Bart Schaefer                                 Brass Lantern Enterprises
http://www.well.com/user/barts              http://www.brasslantern.com


^ permalink raw reply	[flat|nested] 3+ messages in thread

* RE: push-input, accept-and-hold, etc., and vared
  2000-03-09  9:44 Sven Wischnowsky
@ 2000-03-10 10:30 ` Andrej Borsenkow
  0 siblings, 0 replies; 3+ messages in thread
From: Andrej Borsenkow @ 2000-03-10 10:30 UTC (permalink / raw)
  To: Sven Wischnowsky, zsh-workers

> 
> I was thinking about an option to vared allowing users to say which
> keymap they want to use there. And allowing users to define keymaps.
> But this would require some more discussion, I think, so I held myself 
> back (also thinking about the things Anthony once spoke about -- quite 
> a while ago in a message which number I don't seem to have any more).
> 

6938 and it was back in July 1999. 

-andrej


^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: push-input, accept-and-hold, etc., and vared
@ 2000-03-09  9:44 Sven Wischnowsky
  2000-03-10 10:30 ` Andrej Borsenkow
  0 siblings, 1 reply; 3+ messages in thread
From: Sven Wischnowsky @ 2000-03-09  9:44 UTC (permalink / raw)
  To: zsh-workers


Bart Schaefer wrote:

> Using push-input or accept-and-hold during vared has unexpected (to me,
> at least) behavior -- to wit, the value of the variable is pushed onto
> the command input stack, and vared exits, whereupon the value of the
> variable is immediately popped into the PS1 editor buffer.
> 
> There may be obscure circumstances in which this is what is meant, but
> (particularly in the case of "vared mapfile[...]") that's seldom so.
> 
> I'm not precisely sure what to suggest we do about it, though.  It might
> be nice to have accept-and-hold set the variable but not exit vared (this
> would be particularly useful with "vared mapfile[...]").  I'm at a loss
> with respect to push-input and friends.  Perhaps they just shouldn't work?
> 
> On a semi-related question, is it time that vared had its own keymap?
> The problem is initializing it properly, I suppose.

I was thinking about an option to vared allowing users to say which
keymap they want to use there. And allowing users to define keymaps.
But this would require some more discussion, I think, so I held myself 
back (also thinking about the things Anthony once spoke about -- quite 
a while ago in a message which number I don't seem to have any more).


Bye
 Sven


--
Sven Wischnowsky                         wischnow@informatik.hu-berlin.de


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2000-03-10 10:30 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-03-06  6:59 push-input, accept-and-hold, etc., and vared Bart Schaefer
2000-03-09  9:44 Sven Wischnowsky
2000-03-10 10:30 ` Andrej Borsenkow

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).