topPadding property

double topPadding

The padding offset from the top.

Implementation

double get topPadding {
  if (_context == null) throw NoContextException();
  try {
    _mediaQuery = MediaQuery.maybeOf(_context!);
    if (_mediaQuery == null) throw NoContextException();
    return _mediaQuery!.padding.top;
  } catch (e) {
    throw NoContextException();
  }
}