Draggable Scrollbar - A scrollbar that can be dragged for quickly navigation through a vertical list. Additional option is showing label next to scrollthumb with information about current item. Maintainer: @marica27
When vertical padding is provided to the scrollbar, scroll thumb shrinks on reaching the end of scroll. This happens because barMaxScrollExtent doesn't count vertical padding provided to the widget.
My fix changes this behavior by subtracting widget.padding?.vertical in barMaxScrollExtent.
When vertical padding is provided to the scrollbar, scroll thumb shrinks on reaching the end of scroll. This happens because
barMaxScrollExtent
doesn't count vertical padding provided to the widget.My fix changes this behavior by subtracting
widget.padding?.vertical
inbarMaxScrollExtent
.