package miaou-driver-term

  1. Overview
  2. Docs

Module Miaou_driver_term.Term_renderSource

Sourcemodule Logger_capability = Miaou_interfaces.Logger_capability
Sourcemodule Modal_manager = Miaou_core.Modal_manager
Sourcemodule Narrow_modal = Miaou_core.Narrow_modal
Sourceval narrow_warned : bool ref
Sourceval clear_and_render : (module Page : Miaou_core.Tui_page.PAGE_SIG with type state = 'page_state) -> detect_size:(unit -> LTerm_geom.size) -> last_out_ref:string ref -> last_size:LTerm_geom.size ref -> Page.state Miaou_core.Navigation.t -> Khs.t -> unit