If you want to use a slider with float instead of integer values, then the following rounding code in widget_slider.inc is not desirable:

$form_state['values']['min'] = round($form_state['values']['min']);
$form_state['values']['max'] = round($form_state['values']['max']);

Comments

heacu’s picture

heacu commented

for the moment my solution is to change it to

$form_state['values']['min'] = number_format($form_state['values']['min'], 1);
$form_state['values']['max'] = number_format($form_state['values']['max'], 1);

but of course that's not right either!