3 references to GripWidth
System.Windows.Forms (3)
System\Windows\Forms\Controls\ToolStrips\StatusStrip.cs (3)
75int gripPaddingWidth = SizeGripBounds.Width < GripWidth + 2 76? GripWidth + 2 216int scaleGripWidth = ScaleHelper.ScaleToDpi(GripWidth, DeviceDpi);