[]
Gets or sets the minimal width of the tools panel in the expanded display mode.
public double MinToolPanelWidth { get; set; }