package progress

  1. Overview
  2. Docs
User-definable progress bars

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (8)

Authors

  1. C
    Craig Ferguson <me@craigfe.io>

Maintainers

  1. C
    Craig Ferguson <me@craigfe.io>

Sources

terminal-0.2.1.tbz
sha256=7ae7f5c5a2db88107d0b3fd37d5344f066921270a3e74d56dd13457feb9e586e
sha512=3828ac568e447e5f1e59450ee48491c256d8bc77abe234190e14e2db5be7b81f379837083f0eb28ea9572fce2781fd0addd7adc1701947c0b2de9d8319ace042

doc/progress.engine/Progress_engine/Make/Config/Default/index.html

Module Config.DefaultSource

Provides the default values of each of the config parameters.

ppf is Format.err_formatter.

Sourceval hide_cursor : bool

hide_cursor is true.

Sourceval persistent : bool

persistent is true.

Sourceval max_width : int option

max_width is None.

Sourceval min_interval : Duration.t option

min_interval is 1/60th of a second.