Skip to content

PR: Add 'precise' parameter to RangeWidget#46

Merged
jnsebgosselin merged 1 commit intomainfrom
add_precise_arg_rnge_widget
Dec 16, 2025
Merged

PR: Add 'precise' parameter to RangeWidget#46
jnsebgosselin merged 1 commit intomainfrom
add_precise_arg_rnge_widget

Commits

Commits on Dec 15, 2025