Ganv.Box::set_width

void set_width (GanvBox* box,
                double width);