ganv_box_set_height

void ganv_box_set_height (GanvBox* box,
                          double height);