Class: RangedFloat

MLJ .gui .Param. RangedFloat

A Ranged Float widget

Constructor

new RangedFloat(flags)

Parameters:

Name	Type	Description
`flags`	flags

Author:

Stefano Giammori

Source:

gui/Param.js, line 240