Re: Toolbar redraw causes unwanted selection

[Kim F. Storm]

Richard Stallman <address@hidden> writes:

> This is clearly a bug.  The question is, what is the right approach
> for fixing it.  We could fix it at the narrow level by making the
> mouse tracking code note that the mouse didn't actually move, and not
> treat this as a drag.  

That would be the right fix.  I'll take a look at it.

>                        But maybe the right fix is not to change the
> height of the toolbar.  Maybe once the tool bar gets bigger it should
> keep its new size until the user does something to let it shrink again.

And what should that action be?  

IMO, this would be a gigantic step backwards -- since the toolbar
resizing code (after a lot of work) actually works correctly now.

-- 
Kim F. Storm <address@hidden> http://www.cua.dk