padding property

EdgeInsets get padding

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. Offsets from all four directions must be greater than or equal to zero.

Implementation

EdgeInsets get padding => _padding;
set padding (EdgeInsets value)

Implementation

set padding(EdgeInsets value) {
  if (padding == value) {
    return;
  }

  _padding = value;
  notifyListeners();
}