diff options
| author | jpbruyere <jp.bruyere@hotmail.com> | 2017-04-19 09:59:39 +0200 |
|---|---|---|
| committer | jpbruyere <jp.bruyere@hotmail.com> | 2017-04-19 09:59:39 +0200 |
| commit | d83f78d3787b9dc035130ebb6e056b6e2f0ca788 (patch) | |
| tree | ad64a7a7900b63bc07392c54c2d5c56917dd3545 /src/GraphicObjects/Group.cs | |
| parent | 75424623f5a1d65581e6e911d0d00403c8fab814 (diff) | |
check if HoverWidget is removed from graphic tree
Diffstat (limited to 'src/GraphicObjects/Group.cs')
| -rw-r--r-- | src/GraphicObjects/Group.cs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/GraphicObjects/Group.cs b/src/GraphicObjects/Group.cs index d4b5b62e..549ca219 100644 --- a/src/GraphicObjects/Group.cs +++ b/src/GraphicObjects/Group.cs @@ -75,6 +75,13 @@ namespace Crow { child.LayoutChanged -= OnChildLayoutChanges; //child.Parent = null; + + //check if HoverWidget is removed from Tree + if (CurrentInterface.HoverWidget != null) { + if (this.Contains (CurrentInterface.HoverWidget)) + CurrentInterface.HoverWidget = null; + } + lock (children) Children.Remove(child); |