Closed ddssff closed 8 years ago
Also interested in the meaning of "zig-zag cuts". The difference between OneLineMode and LeftMode is not 100% clear.
According to wl-pprint:
The ribbon width is the maximal amount of non-indentation characters on a line. The parameter ribbonfrac should be between 0.0 and 1.0. If it is lower or higher, the ribbon width will be 0 or width respectively.
The word "ribbon" does not appear in the linked paper, and it is not defined anywhere in the documentation or the source code. Seems important tho...