m3e/option_panel

OptionPanel is presents a list of options on a temporary surface.

This file was generated: By: m3e/generator version 0.1.0 At: 2026-05-05T14:38:23+10:00

     DO NOT EDIT

Types

Config

</>

Config is a public record for configuring this component.

pub type Config {
  Config(
    state: option_panel_state.OptionPanelState,
    scroll_strategy: floating_panel_scroll_strategy.FloatingPanelScrollStrategy,
    fit_anchor_width: FitAnchorWidth,
    anchor_offset: Float,
  )
}

Constructors

Config(
  state: option_panel_state.OptionPanelState,
  scroll_strategy: floating_panel_scroll_strategy.FloatingPanelScrollStrategy,
  fit_anchor_width: FitAnchorWidth,
  anchor_offset: Float,
)

FitAnchorWidth

</>

FitAnchorWidth is whether the panel’s width should match its anchor’s width.

pub type FitAnchorWidth {
  IsFitAnchorWidth
  IsNotFitAnchorWidth
}

Constructors

```
IsFitAnchorWidth
```
```
IsNotFitAnchorWidth
```

OptionPanel

opaque </>

OptionPanel is a View Model for this component

Fields:

state: The state for which to present content.
scroll_strategy: The strategy that controls how the panel behaves when its trigger scrolls.
fit_anchor_width: Whether the panel’s width should match its anchor’s width.
anchor_offset: The logical margin, in pixels, between the panel and its anchor.

pub opaque type OptionPanel

Values

anchor_offset

</>

pub fn anchor_offset(
  record: OptionPanel,
  anchor_offset: Float,
) -> OptionPanel

anchor_offset sets the value of anchor_offset for this OptionPanel.

default_anchor_offset

</>

pub const default_anchor_offset: Float

default_config

</>

pub fn default_config() -> Config

default_config is the default configuration for this component.

default_fit_anchor_width

</>

pub const default_fit_anchor_width: FitAnchorWidth

default_scroll_strategy

</>

pub const default_scroll_strategy: floating_panel_scroll_strategy.FloatingPanelScrollStrategy

default_state

</>

pub const default_state: option_panel_state.OptionPanelState

fit_anchor_width

</>

pub fn fit_anchor_width(
  record: OptionPanel,
  fit_anchor_width: FitAnchorWidth,
) -> OptionPanel

fit_anchor_width sets the value of fit_anchor_width for this OptionPanel.

from_config

</>

pub fn from_config(config: Config) -> OptionPanel

from_config creates a new OptionPanel from the given configuration.

new

</>

pub fn new() -> OptionPanel

new creates a new OptionPanel with the default configuration.

render

</>

pub fn render(
  model: OptionPanel,
  attributes: List(attribute.Attribute(msg)),
  children: List(element.Element(msg)),
) -> element.Element(msg)

render creates a Lustre Element for a OptionPanel

render_config

</>

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 OptionPanel Config

scroll_strategy

</>

pub fn scroll_strategy(
  record: OptionPanel,
  scroll_strategy: floating_panel_scroll_strategy.FloatingPanelScrollStrategy,
) -> OptionPanel

scroll_strategy sets the value of scroll_strategy for this OptionPanel.

state

</>

pub fn state(
  record: OptionPanel,
  state: option_panel_state.OptionPanelState,
) -> OptionPanel

state sets the value of state for this OptionPanel.