Ganv.BoxClass.set_height

void set_height (GanvBox* box,
                 double height);