Skip to content

PR: Add 'precise' parameter to RangeWidget - #46

Merged
jnsebgosselin merged 1 commit into
mainfrom
add_precise_arg_rnge_widget
Dec 16, 2025
Merged

jnsebgosselin merged 1 commit into
mainfrom
add_precise_arg_rnge_widget

Commits

  1. Commits on Dec 15, 2025