darcs

Patch 1776 no coloring in progress reports for check/repair

Title no coloring in progress reports for check/repair
Superseder Nosy List bf
Related Issues
Status needs-review Assigned To
Milestone

Created on 2018-12-04.17:44:24 by bf, last changed 2018-12-04.17:47:44 by bf.

Files
File name Status Uploaded Type Edit Remove
no-coloring-in-progress-reports-for-check_repair.dpatch bf, 2018-12-04.17:44:24 application/x-darcs-patch
patch-preview.txt bf, 2018-12-04.17:44:24 text/x-darcs-patch
unnamed bf, 2018-12-04.17:44:24 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg20574 (view) Author: bf Date: 2018-12-04.17:44:24
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.
Attachments
History
Date User Action Args
2018-12-04 17:44:24bfcreate
2018-12-04 17:47:44bfsetstatus: needs-screening -> needs-review