1 2 3 4 5 6
/// The HTML `type` attribute value for a range slider input. pub const INPUT_TYPE_RANGE: &str = "range"; /// The multiplier converting a `0.0..=1.0` ratio into a `0.0..=100.0` /// percentage. pub const PERCENT_SCALE: f64 = 100.0;