diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2012-04-20 17:37:11 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2012-04-20 17:37:11 -0400 |
| commit | 6359c719d6ae03764cf487c3e80e598cd19c5596 (patch) | |
| tree | c654e139a064b05aa2300c7a351ad2f512617b33 /coverage/config.py | |
| parent | e6fe32edc4c634ddc74bf5988f5238f94b3fa676 (diff) | |
| download | python-coveragepy-6359c719d6ae03764cf487c3e80e598cd19c5596.tar.gz | |
The [html]extra_css configuration value is a file path to a CSS file that gets copied into the HTML report.
Diffstat (limited to 'coverage/config.py')
| -rw-r--r-- | coverage/config.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/coverage/config.py b/coverage/config.py index ef45ba5..49d74e7 100644 --- a/coverage/config.py +++ b/coverage/config.py @@ -52,6 +52,7 @@ class CoverageConfig(object): # Defaults for [html] self.html_dir = "htmlcov" + self.extra_css = None # Defaults for [xml] self.xml_output = "coverage.xml" @@ -125,6 +126,8 @@ class CoverageConfig(object): # [html] if cp.has_option('html', 'directory'): self.html_dir = cp.get('html', 'directory') + if cp.has_option('html', 'extra_css'): + self.extra_css = cp.get('html', 'extra_css') # [xml] if cp.has_option('xml', 'output'): |