GUI discussion

[Dekel Tsur]

On Wed, Apr 26, 2000 at 12:17:56PM +0200, Jean-Marc Lasgouttes wrote:
> >>>>> "Amir" == Amir Karger <[EMAIL PROTECTED]> writes:
> 
> Amir> ALternatively, you could change the cursor depending on the
> Amir> direction.
> 
> I thought it was already the case.

Yes, it is.

Now, it seems that almost everybody don't like the red dot suggestion, so
I'll think of alternative solutions.