set_end_width


Description:

public void set_end_width (int width)

Set the width of the end area.

Parameters:

this

a Dock

width

the width