package progress
User-definable progress bars
Install
Dune Dependency
Authors
Maintainers
Sources
progress-0.2.2.tbz
sha256=3341c21923a21cd6b5b5cfa9ec3981f59572c367940fe5e02450533dfb4110b5
sha512=3edbe5ca6ea0bbc678b7dc4abe38bb4c3c4832de0144cc6e0791678712931fbaf2f7141196fca3fdc13a20777851cadcd165bf30c11d92193eecbd8f2d9dbf15
doc/progress.engine/Progress_engine/Make/Config/Default/index.html
Module Config.Default
Source
Provides the default values of each of the config parameters.
ppf
is Format.err_formatter
.
hide_cursor
is true
.
persistent
is true
.
max_width
is None
.
min_interval
is 1/60th of a second.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>