diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2012-11-09 21:34:42 -0500 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2012-11-09 21:34:42 -0500 |
| commit | 99fee9149a879b786d1974115d5c8afc43a21d08 (patch) | |
| tree | 78002675350b6b31fe0a351266bd2c68555de5b3 /coverage/config.py | |
| parent | f683ba3af6c539882dd0b4f750b476e2d9745ebe (diff) | |
| download | python-coveragepy-99fee9149a879b786d1974115d5c8afc43a21d08.tar.gz | |
Now the title of the HTML report can be set.
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 0d1da5f..7b77e46 100644 --- a/coverage/config.py +++ b/coverage/config.py @@ -54,6 +54,7 @@ class CoverageConfig(object): # Defaults for [html] self.html_dir = "htmlcov" self.extra_css = None + self.html_title = "Coverage report" # Defaults for [xml] self.xml_output = "coverage.xml" @@ -133,6 +134,8 @@ class CoverageConfig(object): self.html_dir = cp.get('html', 'directory') if cp.has_option('html', 'extra_css'): self.extra_css = cp.get('html', 'extra_css') + if cp.has_option('html', 'title'): + self.html_title = cp.get('html', 'title') # [xml] if cp.has_option('xml', 'output'): |