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

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

Thin is whether to present thin scrollbars.

pub type Thin {
  IsThin
  IsNotThin
}

Constructors

  • IsThin
  • IsNotThin

Values

pub fn default_config() -> Config

default_config is the default configuration for this component.

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.

Search Document