package miaou-core

You can search for identifiers within the package.

in-package search v0.2.0

Miaou core/widgets (no drivers, no SDL)

Install

dune-project

Dependency

github.com Edit opam file Versions (1)

Authors

N

Nomadic Labs <contact@nomadic-labs.com>

Maintainers

N

Nomadic Labs <contact@nomadic-labs.com>

Sources

v0.5.2.tar.gz

md5=60a3b9f181f24572a06a9492532bfdda

sha512=fcc35a275066be2900e6201782faf47503076fa4640f08cf78067835a6f447b74613009e55b2ac799adb7ca46f1bffa261fc5971753f2cc3c6bef327511c7ef6

doc/miaou-core.internals/Miaou_internals/Modal_snapshot/index.html

Module `Miaou_internals.Modal_snapshot`Source

Sourcetype max_width_spec =

| Fixed of int
| Ratio of float
| 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

Source

val set_provider : 
  (unit ->
    (string
     * int option
     * max_width_spec option
     * bool
     * (LTerm_geom.size ->
     string))
      list) ->
  unit

Source

val 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).