[]
Gets or sets a value specifying the width of the control's tool menu.
public double ToolMenuWidth { get; set; }