Re: Re: Re: SLang tab completion - update 2002-08-05

["Klaus Schmid" <klaus.schmid@xxxxxx>]

----- Original Message -----
From: "Guenter Milde" <G.Milde@xxxxxxxxxxxxxxxxxxxx>
To: <jed-users@xxxxxxxxxxx>
Sent: Tuesday, August 06, 2002 2:29 PM
Subject: Re: Re: Re: SLang tab completion - update 2002-08-05


> I see the problem that arises when someone wants to push something on the
> stack that should remain there. As I normally don't want to do so, I'd
still
> prefer the solution without "=" -- maybe as a configurable option?

I think we should make it configurable, supposed some jeddies prefere this.

> Actually, I prefered the completions and the mini-help in the status line,
> it is less distractive then a popup. I understand that
>   a) the status line is too small in some cases
>   b) it is not available when we are at the slang prompt
> Maybe the popping could be restrained to these cases?

and c) it disappears sometimes too fast for me ;)

Again, if there is a common wish for this feature, I will consider this
in the next update.

Referring your other points, I will send you a personal email.

Thanks
Klaus



--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.