glizzy - v0.1.0

ui/split_panel

Types

Msg

</>

Messages for split panel keyboard navigation

pub type Msg {
  Decrease
  Increase
  Reset
  SetMin
  SetMax
}

Constructors 

  • Decrease
  • Increase
  • Reset
  • SetMin
  • SetMax

Orientation

</> 
pub type Orientation {
  Horizontal
  Vertical
}

Constructors 

  • Horizontal
  • Vertical

Values

adjustable_divider

</> 
pub fn adjustable_divider(
  attributes: List(attribute.Attribute(a)),
  position: Int,
) -> element.Element(a)

Adjustable divider with click controls Pass on_click handlers for the decrease/increase buttons via attributes

divider_handle

</> 
pub fn divider_handle(
  attributes: List(attribute.Attribute(a)),
) -> element.Element(a)

Simple divider handle (visual only, for future drag implementation)

handle_key_position

</> 
pub fn handle_key_position(
  key: String,
  current_position: Int,
  step: Int,
) -> Int

Keyboard handler helper - returns message for key events Use in your app’s keydown handler

keymap

</> 
pub fn keymap(
  key_event: keyboard.KeyEvent,
  orientation: Orientation,
) -> option.Option(Msg)

Keymap for split panel keyboard navigation

Keyboard interactions:

  • ArrowLeft/ArrowUp: Decrease panel size (horizontal/vertical split)
  • ArrowRight/ArrowDown: Increase panel size
  • Home: Reset to default size (50%)
  • End: Maximize current panel (90% or 10%)

Follows WAI-ARIA Separator pattern.

on_split_click

</> 
pub fn on_split_click(
  current_position: Int,
  step: Int,
) -> fn(String) -> Int

Helper to create click handler for split panel adjustment Use with event delegation on the parent container

orientation

</> 
pub fn orientation(o: Orientation) -> attribute.Attribute(a)

Orientation attribute

pane_a

</> 
pub fn pane_a(
  attributes: List(attribute.Attribute(a)),
  size_percent: Int,
  children: List(element.Element(a)),
) -> element.Element(a)

Left or top pane with percentage-based size

pane_b

</> 
pub fn pane_b(
  attributes: List(attribute.Attribute(a)),
  children: List(element.Element(a)),
) -> element.Element(a)

Right or bottom pane (fills remaining space)

size

</> 
pub fn size(s: size.Size) -> attribute.Attribute(a)

Size attribute (height for horizontal splits)

split_panel

</> 
pub fn split_panel(
  attributes: List(attribute.Attribute(a)),
  children: List(element.Element(a)),
) -> element.Element(a)

Split panel container with adjustable divider

✨ Search Document