On 6/11/07, Edwin Leuven <[EMAIL PROTECTED]> wrote:
Jean-Marc Lasgouttes wrote:
>>>>>> "Edwin" == Leuven, E <[EMAIL PROTECTED]> writes:
>
> Edwin> typically when ui elements highlight/change color on mouse
> Edwin> focus suggests that a click will trigger an action. this is not
> Edwin> the case here, so i am therefore not so happy with this commit:
>
> This is very true.
>
> Edwin> i addition it gives confusing situation like the one where the
> Edwin> cursor is in a math inset and the mouse pointer is over another
> Edwin> one. then both seem to have focus!
>
> This too.
btw, what has been decided here?
Nothing. Jose has been busy.
Bo
