diff options
author | Jeffrey Stedfast <jeff@xamarin.com> | 2012-01-11 19:24:55 +0400 |
---|---|---|
committer | Jeffrey Stedfast <jeff@xamarin.com> | 2012-01-14 01:25:17 +0400 |
commit | 2af5150cee3bca82c08608cb0f48c9883d271193 (patch) | |
tree | c38cea6e5e0adaf59d2136995c6b38d22ce51f8d | |
parent | 29823962a563c44ab81bfa11d5b7785e20d49efd (diff) |
[Ide] Don't use Gtk.Widget.Unparent(), use widget.Parent.Remove() instead.
This allows the parent to be notified that the child has been removed.
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItem.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItem.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItem.cs index 95f57e02f2..ccff5b622c 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItem.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItem.cs @@ -420,7 +420,8 @@ namespace MonoDevelop.Components.Docking ResetMode (); if (widget != null) { widget.Hide (); // Avoids size allocation warning - widget.Unparent (); + if (widget.Parent != null) + ((Gtk.Container) widget.Parent).Remove (widget); } dockBarItem = frame.BarDock (pos, this, size); if (widget != null) |