diff options
| author | Georg Brandl <georg@python.org> | 2010-10-22 11:16:48 +0200 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2010-10-22 11:16:48 +0200 |
| commit | 757a5c1c5575703f0b02889ed16c72f9e1faf13e (patch) | |
| tree | 4772befc0e005a3cd7f7377d6c5777a8f24ec43b /sphinx/writers/html.py | |
| parent | ec3b7290dc64985dfe7a039df5850772c19b1834 (diff) | |
| parent | 0859bada809ada0c232f532ed2d527410f3d32c8 (diff) | |
| download | sphinx-757a5c1c5575703f0b02889ed16c72f9e1faf13e.tar.gz | |
merge with 1.0
Diffstat (limited to 'sphinx/writers/html.py')
| -rw-r--r-- | sphinx/writers/html.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sphinx/writers/html.py b/sphinx/writers/html.py index 33d90c91..858681f7 100644 --- a/sphinx/writers/html.py +++ b/sphinx/writers/html.py @@ -232,8 +232,10 @@ class HTMLTranslator(BaseTranslator): lang = node['language'] if node.has_key('linenos'): linenos = node['linenos'] - highlighted = self.highlighter.highlight_block(node.rawsource, - lang, linenos) + def warner(msg): + self.builder.warn(msg, (self.builder.current_docname, node.line)) + highlighted = self.highlighter.highlight_block( + node.rawsource, lang, linenos, warn=warner) starttag = self.starttag(node, 'div', suffix='', CLASS='highlight-%s' % lang) self.body.append(starttag + highlighted + '</div>\n') |