View Source ElementTui.Element (ElementTui v0.5.0)
Elements are the core of the TUI layout. They are composable so that you can build complex layouts from simple elements.
# Create a text element with width 10
Element.text("Hello") |> Element.width(10)
Summary
Functions
Create a blank line.
Keep the element focused/on the screen. Only works when part of a vbox that is passed the [scroll: true]
option.
Plot multiple layers on top of each other. Ensures that the layers are drawn in the correct order.
Similar to Element.text, but will assume the text is a single line and does not contain any newlines.
Opts can contain scroll: true
Functions
Create a blank line.
Keep the element focused/on the screen. Only works when part of a vbox that is passed the [scroll: true]
option.
Uses ElementTui.FocusStream under the hood. If possible it is recommended to use the ElementTui.FocusStream
module directly instead.
Plot multiple layers on top of each other. Ensures that the layers are drawn in the correct order.
Similar to Element.text, but will assume the text is a single line and does not contain any newlines.
This is useful for creating elements that are not wrapped and results in higher performance.
Opts can contain scroll: true