Module widget

Types for creating reusable widgets (aka components or views).

Structs

• Baseline
  The measurement from the top of the content to the bottom of the first line of text.
• Callback
  A function that can be invoked with a parameter (T) and returns R.
• EventHandled
  A marker type that represents a handled event.
• EventIgnored
  A marker type that represents an ignored event.
• MountedChildren
  A collection of mounted children.
• MountedWidget
  A Widget that has been attached to a widget hierarchy.
• OnceCallback
  A function that can be invoked once with a parameter (T) and returns R.
• SharedCallback
  A Callback that can be cloned.
• WidgetGuard
  Exclusive access to a widget.
• WidgetId
  The unique id of a WidgetInstance.
• WidgetInstance
  An instance of a Widget.
• WidgetLayout
  Information about a widget’s desired layout.
• WidgetList
  A list of Widgets without a layout strategy.
• WidgetRef
  A child widget
• WidgetTag
  A WidgetId that has not been assigned to a WidgetInstance.
• WrappedLayout
  The layout of a wrapped child widget.

Enums

• ChildrenSyncChange
  A change to perform during WidgetList::synchronize_with.
• Notify
  A target for notifications.
• RootBehavior
  A behavior that should be applied to a root widget.
• SharedNotify
  A target for notifications.

Constants

• HANDLED
  An EventHandling value that represents a handled event.
• IGNORED
  An EventHandling value that represents an ignored event.

Traits

• IntoWidgetList
  A type that can be converted to a Value<WidgetList>.
• MakeWidget
  A type that can create a WidgetInstance.
• MakeWidgetList
  Allows to convert collections or iterators directly into Stack, Layers, etc.
• MakeWidgetWithTag
  A type that can create a WidgetInstance with a preallocated WidgetId.
• MountableChild
  A child in a MountedChildren collection.
• Widget
  A type that makes up a graphical user interface.
• WrapperWidget
  A Widget that contains a single child.

Type Aliases

• EventHandling
  A type that represents whether an event has been handled or ignored.