Adds a property widget to win for floating point properties. A property widget will display a text label, a small text editor for the property value and one up and one down button. The value can be modified by editing the text value, by clicking the up/down buttons (which will increase/decrease the
(name string, min float64, val *float64, max, step, inc_per_pixel float64, prec int)
source not stored for this graph (policy: none)
no test coverage detected