We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Using padding functions Line.lpad and Line.rpad with a padding smaller than the segment messes up the line width computation : the code
Line.lpad
Line.rpad
open Progress let () = let reporter = Line.(list [const "Foo" |> rpad 2 ; bar 1_000]) in Progress.with_reporter reporter @@ fun reporter -> for _ = 1 to 100 do reporter 1 ; Unix.sleepf 0.01 done
produces the output
Foo [------------------------------------------------------------------------- Foo [#------------------------------------------------------------------------ Foo [##----------------------------------------------------------------------- Foo [###---------------------------------------------------------------------- Foo [####--------------------------------------------------------------------- Foo [#####-------------------------------------------------------------------- ]
It could be desired for the semantics of padding to be "pad if smaller, ignore otherwise" instead ?
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Using padding functions
Line.lpad
andLine.rpad
with a padding smaller than the segment messes up the line width computation : the codeproduces the output
It could be desired for the semantics of padding to be "pad if smaller, ignore otherwise" instead ?
The text was updated successfully, but these errors were encountered: