Module Miaou_widgets_layout.ResponsiveSource

Responsive layout selection by terminal width.

A small utility for choosing between several layouts based on the current terminal width. The layouts themselves are values of any type — typically a Flex_layout.t or Grid_layout.t, but any type is fine.

Order breakpoints by ascending max_width. pick walks the list and returns the first layout whose max_width is greater than or equal to the current width; if none match (the terminal is wider than every breakpoint), default is returned.

Typical usage:

  let layout =
    Responsive.pick
      ~width:size.cols
      ~default:wide_layout
      [
        { max_width = 60; layout = narrow_layout };
        { max_width = 120; layout = medium_layout };
      ]
  in
  ...