[MonoDevelop] Monodevelop dock pads resize issue

[Tomasz Kubacki]

hello,
If you really can't work  without resizing pads, here is a workaround to
the issue - however this really should not be solved this way !
---------------------------------------------------
index 55b0de4..7952703 100644
---
a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockContainer.cs
+++
b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockContainer.cs
@@ -235,7 +235,7 @@ namespace MonoDevelop.Components.Docking
                                }
                        }
                }
-               
+               bool afterButtonPress = false;
                protected override bool OnButtonPressEvent
(Gdk.EventButton ev)
                {
                        if (currentHandleGrp != null) {
@@ -244,11 +244,13 @@ namespace MonoDevelop.Components.Docking
                                DockObject obj =
currentHandleGrp.VisibleObjects [currentHandleIndex];
                                dragSize = (currentHandleGrp.Type ==
DockGroupType.Horizontal) ? obj.Allocation.Width : obj.Allocati
                        }
+                       afterButtonPress = true;
                        return base.OnButtonPressEvent (ev);
                }
                
                protected override bool OnButtonReleaseEvent
(Gdk.EventButton e)
                {
+                       afterButtonPress = false;
                        dragging = false;
                        return base.OnButtonReleaseEvent (e);
                }
@@ -296,7 +298,7 @@ namespace MonoDevelop.Components.Docking
                
                protected override bool OnLeaveNotifyEvent
(EventCrossing evnt)
                {
-                       if (!dragging && evnt.Mode != CrossingMode.Grab)
+                       if (!dragging && evnt.Mode != CrossingMode.Grab
&& afterButtonPress)
                                ResetHandleHighlight ();
                        return base.OnLeaveNotifyEvent (evnt);
                }