Dock.remove
void remove(gtk.widget.Widget widget)Removes a widget from the dock. If widget is not a #DockChild, then the closest #DockChild parent is removed.
Parameters
widget | a #GtkWidget to remove |
void remove(gtk.widget.Widget widget)Removes a widget from the dock. If widget is not a #DockChild, then the closest #DockChild parent is removed.
widget | a #GtkWidget to remove |