[]
Gets or sets the width of the text box that displays the current position.
public int PositionWidth { get; set; }