Repository navigation
gui_toolkit 0.54.0
Added
Build_Params.smooth_scroll(Follow,On,Off): whether scrolling glides, as the interface's animations say (the default) or always / never. An application can keep the wheel's glide when the system turns animations off (Windows' "Animation effects"), where every notch used to jump.