| Top |
void dzl_overlay_add_child (DzlDockOverlay *self,GtkWidget *child,const gchar *type);
DzlDockOverlayEdge * dzl_dock_overlay_get_edge (DzlDockOverlay *self,GtkPositionType position);
GtkAdjustment * dzl_dock_overlay_get_edge_adjustment (DzlDockOverlay *self,GtkPositionType position);