package progress
User-definable progress bars
Install
Dune Dependency
Authors
Maintainers
Sources
progress-0.3.0.tbz
sha256=3dfd00bd4def773239159b17781d02fdbfd8ea191801681a94aa0a5be1d06b7c
sha512=fd64ff8a819b2db2460c06b7fbd5663e2a1941f9e2d4e9b921a3d5f24509fe3be543521fbe1bb6baedad9f62b579aae933efac3903db03a27385233f5461f09c
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)"
>