package miaou-driver-term

You can search for identifiers within the package.

in-package search v0.2.0

Miaou terminal driver

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-driver-term.driver/Miaou_driver_term/Term_render/index.html

Module `Miaou_driver_term.Term_render`Source

Sourcemodule Logger_capability = Miaou_interfaces.Logger_capability

Sourcemodule Capture = Miaou_core.Tui_capture

Sourcemodule Khs = Miaou_internals.Key_handler_stack

Sourcemodule Modal_manager = Miaou_core.Modal_manager

Sourcemodule Narrow_modal = Miaou_core.Narrow_modal

Sourcemodule Fibers = Miaou_helpers.Fiber_runtime

Sourcemodule Helpers = Miaou_helpers.Helpers

Sourceval narrow_warned : bool ref

Source

val 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