-
Notifications
You must be signed in to change notification settings - Fork 17
Open
Description
Using padding functions Line.lpad and Line.rpad with a padding smaller than the segment messes up the line width computation : the code
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 doneproduces 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 ?
Metadata
Metadata
Assignees
Labels
No labels