package miaou-core

  1. Overview
  2. Docs
package miaou-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Miaou_internals.Modal_snapshotSource

Sourcetype max_width_spec =
  1. | Fixed of int
  2. | Ratio of float
  3. | Clamped of {
    1. ratio : float;
    2. min : int;
    3. max : int;
    }

Max width specification for dynamic modal sizing

Sourceval resolve_max_width : max_width_spec -> cols:int -> int option

Resolve a max_width_spec to actual columns given terminal width

Sourceval set_provider : (unit -> (string * int option * max_width_spec option * bool * (LTerm_geom.size -> string)) list) -> unit
Sourceval get_stack_snapshot : unit -> (string * int option * max_width_spec option * bool * (LTerm_geom.size -> string)) list
Sourceval set_rendered_position : top:int -> left:int -> unit

Store the last rendered modal position for click coordinate translation. Called by modal_renderer after computing the actual modal position.

Sourceval get_rendered_position : unit -> (int * int) option

Get the last rendered modal position (content_top_row, content_left_col). Returns None if no modal has been rendered.

Sourceval clear_rendered_position : unit -> unit

Clear the stored position (call when modal stack is empty).