6 void dock_setup_position (GtkWidget *w);
7 void dock_setup_float_x (GtkWidget *w);
8 void dock_setup_float_y (GtkWidget *w);
9 void dock_setup_stacking (GtkWidget *top,
10 GtkWidget *normal, GtkWidget *bottom);
11 void dock_setup_direction (GtkWidget *w);
12 void dock_setup_hide (GtkWidget *w);
13 void dock_setup_hide_delay (GtkWidget *w);