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();
}
}