diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-02-04 09:38:53 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-02-04 09:38:53 -0800 |
commit | fd9c03febe92411bfdfc63e8f19a037cf04f3a0e (patch) | |
tree | 46155e2e1abb5e734f5738f2464c43e9e4b1581a /src/Text/Pandoc/Readers/Odt/Arrows/Utils.hs | |
parent | 30962e2e9da335a436fce0fe6ba417adbebdeee0 (diff) | |
download | pandoc-fd9c03febe92411bfdfc63e8f19a037cf04f3a0e.tar.gz |
Add timing info for filters in `--verbose` mode.
+ Add RunningFilter, FilterCompleted constructors to LogMessage
+ When verbose mode is specified (verbosity == INFO), print a
notice when running a filter and when a filter completes (including
timing).
Closes #6112.
Diffstat (limited to 'src/Text/Pandoc/Readers/Odt/Arrows/Utils.hs')
0 files changed, 0 insertions, 0 deletions