Ganv.Box::set_height

void set_height (GanvBox* box,
                 double height);