Skip to content

Line breaks when under-padding #22

@gbelouze

Description

@gbelouze

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 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 ?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions