[PATCH v2 4/4] coverage: Give coverage bars red background

Alex White alex.white at oarcorp.com
Mon Mar 15 22:09:23 UTC 2021


---
 tester/rt/coverage.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tester/rt/coverage.py b/tester/rt/coverage.py
index ec3957c..a561d26 100644
--- a/tester/rt/coverage.py
+++ b/tester/rt/coverage.py
@@ -129,6 +129,9 @@ class report_gen_html:
         head_section += '    width: 150px;' + os.linesep
         head_section += '    height: 15px;' + os.linesep
         head_section += '  }' + os.linesep
+        head_section += '  progress::-webkit-progress-bar {' + os.linesep
+        head_section += '    background: red;' + os.linesep
+        head_section += '  }' + os.linesep
         head_section += '  table, th, td {' + os.linesep
         head_section += '    border: 1px solid black;' + os.linesep
         head_section += '    border-collapse: collapse;' + os.linesep
-- 
2.27.0



More information about the devel mailing list