safeAreaHeight property

Implementation

double get safeAreaHeight {
  // if we are not a root framework then
  // safe area can be ignored
  if (widget.model.framework != null) return 0;
  return MediaQuery.viewPaddingOf(context).top +
      MediaQuery.of(context).viewPadding.bottom +
      MediaQuery.of(context).viewInsets.top +
      MediaQuery.of(context).viewInsets.bottom;
}