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?
