[MonoDevelop] Monodevelop dock pads resize issue

[Tomasz Kubacki]

hello,

This post is probably most interesting for lluis but couldn't reach him
recently on irc :)

I found the reason why dock pads can't be resized after MD startup (the
issue is demonstrated here: http://www.youtube.com/watch?v=nUFID65GIvI )

It seems that when button is pressed while on resize grip  OnLeave event
here:
https://github.com/mono/monodevelop/blob/master/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockContainer.cs#L297
is fired BEFORE OnButtonPress event:
https://github.com/mono/monodevelop/blob/master/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockContainer.cs#L239

This leave event resets grip handle:
https://github.com/mono/monodevelop/blob/master/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockContainer.cs#L288

and  make resize impossible.

However this happens only just after MD start up. If you undock pad and
then dock it again. Normal event flow is applied (no leave event after
button press) and everything works just fine.

For me it seems that *something* tries to handle button press before
dock widget is reached, but don't know what could it be.

I would love to dig deeper but i'm stuck and don't know where to look
further.
Need your help folks :)

cheers,

tomek