1 patch for repository http://darcs.net/screened:
patch 33b4a21a59ebe7378dbd79ca10a7a71b15c63b6a
Author: Ben Franksen <ben.franksen@online.de>
Date: Sun Nov 25 14:42:31 CET 2018
* no coloring in progress reports for check/repair
For reasons that aren't fully clear to me, colors aren't properly reset when
using them in progress messages. This has the undesired effect of coloring
all subsequent messages. The simple solution here is to use renderString
instead of showDoc to avoid coloring the progress messages.