padding property Null safety

EdgeInsets 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. Must not be null and offsets from all four directions must be greater than or equal to zero.

Implementation

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

Implementation

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

  _padding = value;
  notifyListeners();
}