SliverSafeArea class
A sliver that insets another sliver by sufficient padding to avoid intrusions by the operating system.
For example, this will indent the sliver by enough to avoid the status bar at the top of the screen.
It will also indent the sliver by the amount necessary to avoid The Notch on the iPhone X, or other similar creative physical features of the display.
When a minimum padding is specified, the greater of the minimum padding or the safe area padding will be applied.
See also:
- SafeArea, for insetting box widgets to avoid operating system intrusions.
- SliverPadding, for insetting slivers in general.
- MediaQuery, from which the window padding is obtained.
- dart:ui.FlutterView.padding, which reports the padding from the operating system.
- Inheritance
-
- Object
- DiagnosticableTree
- Widget
- StatelessWidget
- SliverSafeArea
Constructors
- SliverSafeArea({Key? key, bool left = true, bool top = true, bool right = true, bool bottom = true, EdgeInsets minimum = EdgeInsets.zero, required Widget sliver})
-
Creates a sliver that avoids operating system interfaces.
const
Properties
- bottom → bool
-
Whether to avoid system intrusions on the bottom side of the screen.
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- key → Key?
-
Controls how one widget replaces another widget in the tree.
finalinherited
- left → bool
-
Whether to avoid system intrusions on the left.
final
- minimum → EdgeInsets
-
This minimum padding to apply.
final
- right → bool
-
Whether to avoid system intrusions on the right.
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- sliver → Widget
-
The sliver below this sliver in the tree.
final
- top → bool
-
Whether to avoid system intrusions at the top of the screen, typically the
system status bar.
final
Methods
-
build(
BuildContext context) → Widget -
Describes the part of the user interface represented by this widget.
override
-
createElement(
) → StatelessElement -
Creates a StatelessElement to manage this widget's location in the tree.
inherited
-
debugDescribeChildren(
) → List< DiagnosticsNode> -
Returns a list of DiagnosticsNode objects describing this node's
children.
inherited
-
debugFillProperties(
DiagnosticPropertiesBuilder properties) → void -
Add additional properties associated with the node.
override
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toDiagnosticsNode(
{String? name, DiagnosticsTreeStyle? style}) → DiagnosticsNode -
Returns a debug representation of the object that is used by debugging
tools and by DiagnosticsNode.toStringDeep.
inherited
-
toString(
{DiagnosticLevel minLevel = DiagnosticLevel.info}) → String -
A string representation of this object.
inherited
-
toStringDeep(
{String prefixLineOne = '', String? prefixOtherLines, DiagnosticLevel minLevel = DiagnosticLevel.debug}) → String -
Returns a string representation of this node and its descendants.
inherited
-
toStringShallow(
{String joiner = ', ', DiagnosticLevel minLevel = DiagnosticLevel.debug}) → String -
Returns a one-line detailed description of the object.
inherited
-
toStringShort(
) → String -
A short, textual description of this widget.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited