darcs

Patch 1776 no coloring in progress reports for check/repair

Title no coloring in progress reports for check/repair
Superseder Nosy List bfrk
Related Issues
Status accepted Assigned To
Milestone

Created on 2018-12-04.17:44:24 by bfrk, last changed 2019-06-02.20:47:18 by ganesh.

Files
File name Status Uploaded Type Edit Remove
no-coloring-in-progress-reports-for-check_repair.dpatch bfrk, 2018-12-04.17:44:24 application/x-darcs-patch
patch-preview.txt bfrk, 2018-12-04.17:44:24 text/x-darcs-patch
unnamed bfrk, 2018-12-04.17:44:24 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg20574 (view) Author: bfrk 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:24bfrkcreate
2018-12-04 17:47:44bfrksetstatus: needs-screening -> needs-review
2019-06-02 19:05:05ganeshsetstatus: needs-review -> accepted-pending-tests
2019-06-02 20:47:18ganeshsetstatus: accepted-pending-tests -> accepted