plushie/widget/pane_grid
PaneGrid widget for resizable tiled pane layouts.
Children are keyed by their node ID. The Rust binary manages pane layout state; use PaneSplit/PaneClose/PaneSwap commands to modify the layout.
Types
Option type for pane grid properties.
pub type Opt {
Panes(List(String))
Spacing(Float)
Width(length.Length)
Height(length.Length)
MinSize(Float)
DividerColor(color.Color)
DividerWidth(Float)
Leeway(Float)
SplitAxis(String)
EventRate(Int)
A11y(a11y.A11y)
}
Constructors
-
Panes(List(String)) -
Spacing(Float) -
Width(length.Length) -
Height(length.Length) -
MinSize(Float) -
DividerColor(color.Color) -
DividerWidth(Float) -
Leeway(Float) -
SplitAxis(String) -
EventRate(Int) -
A11y(a11y.A11y)
Values
pub fn divider_color(pg: PaneGrid, c: color.Color) -> PaneGrid
Set the divider color.
pub fn extend(
pg: PaneGrid,
children: List(node.Node),
) -> PaneGrid
Add multiple child pane nodes.