padding property

EdgeInsets padding
final

The amount of space by which to inset the scrollbar's start and end, as well as its side to the nearest edge, in logical pixels.

This is typically set to the current MediaQueryData.padding to avoid partial obstructions such as display notches. If you only want additional margins around the scrollbar, see mainAxisMargin.

Defaults to EdgeInsets.zero. Must not be null and offsets from all four directions must be greater than or equal to zero.

Implementation

final EdgeInsets padding