9 references to maxHeadersThickness
System.Windows.Forms (9)
winforms\Managed\System\WinForms\DataGridView.cs (4)
1998
if (value >
maxHeadersThickness
)
2000
throw new ArgumentOutOfRangeException("ColumnHeadersHeight", SR.GetString(SR.InvalidHighBoundArgumentEx, "ColumnHeadersHeight", (value).ToString(CultureInfo.CurrentCulture), (
maxHeadersThickness
).ToString(CultureInfo.CurrentCulture)));
4310
if (value >
maxHeadersThickness
)
4312
throw new ArgumentOutOfRangeException("RowHeadersWidth", SR.GetString(SR.InvalidHighBoundArgumentEx, "RowHeadersWidth", (value).ToString(CultureInfo.CurrentCulture), (
maxHeadersThickness
).ToString(CultureInfo.CurrentCulture)));
winforms\Managed\System\WinForms\DataGridViewMethods.cs (5)
1771
if (preferredHeight >
maxHeadersThickness
)
1773
preferredHeight =
maxHeadersThickness
;
1844
if (preferredHeight >
maxHeadersThickness
)
1846
preferredHeight =
maxHeadersThickness
;
26805
Debug.Assert(columnHeadersHeight <=
maxHeadersThickness
);