diff options
author | Lluis Sanchez <lluis@novell.com> | 2010-06-28 20:24:17 +0400 |
---|---|---|
committer | Lluis Sanchez <lluis@novell.com> | 2010-06-28 20:24:17 +0400 |
commit | b019adbc1638356e7777906bf7292c74268f633d (patch) | |
tree | f4524fb8d04e947ca642dec2a08c00bb29bbe1c1 /main | |
parent | a3e666b2594acdd8329b048df243c668f4530123 (diff) |
* MonoDevelop.Components.Docking/DockBarItem.cs: Don't hide the item
if the mouse pointer is inside the window. Fixes bug #565714 -
Autohidden pads hide when viewing treeview tooltips.
svn path=/trunk/monodevelop/; revision=159610
Diffstat (limited to 'main')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/ChangeLog | 7 | ||||
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockBarItem.cs | 7 |
2 files changed, 13 insertions, 1 deletions
diff --git a/main/src/core/MonoDevelop.Ide/ChangeLog b/main/src/core/MonoDevelop.Ide/ChangeLog index fc6f9f27f8..7b6dffc427 100644 --- a/main/src/core/MonoDevelop.Ide/ChangeLog +++ b/main/src/core/MonoDevelop.Ide/ChangeLog @@ -1,3 +1,10 @@ +2010-06-28 Lluis Sanchez Gual <lluis@novell.com> + + * MonoDevelop.Components.Docking/DockBarItem.cs: Don't hide + the item if the mouse pointer is inside the window. Fixes + bug #565714 - Autohidden pads hide when viewing treeview + tooltips. + 2010-06-28 Mike Krüger <mkrueger@novell.com> * MonoDevelop.Ide.Gui.Content/CompletionTextEditorExtension.cs: diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockBarItem.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockBarItem.cs index 51e17512f8..fb1519b9b7 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockBarItem.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockBarItem.cs @@ -286,7 +286,12 @@ namespace MonoDevelop.Components.Docking if (autoHideTimeout == uint.MaxValue) { autoHideTimeout = GLib.Timeout.Add (force ? 0 : bar.Frame.AutoHideDelay, delegate { // Don't hide the item if it has the focus. Try again later. - if (it.Widget.FocusChild != null) + if (it.Widget.FocusChild != null && !force) + return true; + // Don't hide the item if the mouse pointer is still inside the window. Try again later. + int px, py; + it.Widget.GetPointer (out px, out py); + if (it.Widget.Visible && it.Widget.IsRealized && it.Widget.Allocation.Contains (px, py) && !force) return true; autoHideTimeout = uint.MaxValue; AutoHide (true); |