sharkdp 48a7ce3bf2 Write error messages to pager, if attached ...

closes #946

2020-04-25 13:08:00 +02:00

..

bin/bat

Write error messages to pager, if attached

2020-04-25 13:08:00 +02:00

assets_metadata.rs

…

assets.rs

…

config.rs

…

controller.rs

Write error messages to pager, if attached

2020-04-25 13:08:00 +02:00

decorations.rs

…

diff.rs

…

error.rs

Write error messages to pager, if attached

2020-04-25 13:08:00 +02:00

input.rs

…

less.rs

…

lib.rs

…

line_range.rs

…

output.rs

Write error messages to pager, if attached

2020-04-25 13:08:00 +02:00

paging.rs

…

preprocessor.rs

…

pretty_printer.rs

…

printer.rs

…

style.rs

…

syntax_mapping.rs

…

terminal.rs

…

wrapping.rs

…