m3e/scroll_container
ScrollContainer is a vertically oriented content container which presents dividers above and below content when scrolled.
This file was generated by m3e/generator
DO NOT EDIT
Types
Config is a public record for configuring this component.
pub type Config {
Config(dividers: scroll_dividers.ScrollDividers, thin: Thin)
}
Constructors
-
Config(dividers: scroll_dividers.ScrollDividers, thin: Thin)
ScrollContainer is a View Model for this component
Fields:
- dividers: The dividers used to separate scrollable content.
- thin: Whether to present thin scrollbars.
pub opaque type ScrollContainer
Values
pub fn default_config() -> Config
default_config is the default configuration for this component.
pub const default_dividers: scroll_dividers.ScrollDividers
pub const default_thin: Thin
pub fn dividers(
record: ScrollContainer,
dividers: scroll_dividers.ScrollDividers,
) -> ScrollContainer
dividers sets the value of dividers for this ScrollContainer.
pub fn from_config(config: Config) -> ScrollContainer
from_config creates a new ScrollContainer from the given configuration.
pub fn new() -> ScrollContainer
new creates a new ScrollContainer with the default configuration.
pub fn render(
model: ScrollContainer,
attributes: List(attribute.Attribute(msg)),
children: List(element.Element(msg)),
) -> element.Element(msg)
render creates a Lustre Element for a ScrollContainer
pub fn render_config(
c: Config,
attributes: List(attribute.Attribute(msg)),
children: List(element.Element(msg)),
) -> element.Element(msg)
render_config creates a Lustre Element from a ScrollContainer Config
pub fn thin(
record: ScrollContainer,
thin: Thin,
) -> ScrollContainer
thin sets the value of thin for this ScrollContainer.