Let sliders in number widget support floating point numbers#35

Merged

ctrueden merged 2 commits intomasterfrom

calibrated-sliders

Jun 5, 2018

Commits on Apr 30, 2018

Let sliders in number widget support floating point numbers
imagejan
committed

Commits on May 24, 2018

Add floating point number support to scroll bars in number widget
imagejan
committed