SafaehPageIndexOverlay class

Floating overlay control for narrow layouts. Does not consume scroll space.

Place inside a Stack. Tap expands the index panel directly above the pill.

Inheritance

Constructors

SafaehPageIndexOverlay({Key? key, required String title, required List<SafaehPageIndexEntry> entries, required String? activeId, required ValueChanged<SafaehPageIndexEntry> onSelect, SafaehFloatingAppearance? floatingAppearance, double? bottomInset})
const

Properties

activeId → String?
final
bottomInset → double?
Extra bottom offset for a host-owned floating navigation bar. When null, the nearest SafaehBottomNavScope supplies its visual inset.
final
entries → List<SafaehPageIndexEntry>
final
floatingAppearance → SafaehFloatingAppearance?
final
hashCode → int
The hash code for this object.
no setterinherited
key → Key?
Controls how one widget replaces another widget in the tree.
finalinherited
onSelect → ValueChanged<SafaehPageIndexEntry>
final
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
title → String
final

Methods

createElement() → StatefulElement
Creates a StatefulElement to manage this widget's location in the tree.
inherited
createState() → State<SafaehPageIndexOverlay>
Creates the mutable state for this widget at a given location in the tree.
override
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.
inherited
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, int wrapWidth = 65}) → 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