Ganv.BoxClass.set_width

void set_width (GanvBox* box,
                double width);