changeset 7577 | 9892937d9041 |
parent 6938 | 6c1a960735f5 |
child 7732 | 5430d0db52ab |
--- a/ext/rest.py Wed Jun 29 16:13:09 2011 +0200 +++ b/ext/rest.py Wed Jun 29 18:26:29 2011 +0200 @@ -200,7 +200,7 @@ context = state.document.settings.context context._cw.add_css('pygments.css') except AttributeError: - # used outside cubicweb + # used outside cubicweb XXX use hasattr instead pass return [nodes.raw('', parsed, format='html')]