changeset 9492 | c7fc56eecd1a |
parent 9229 | 739ae5366bed |
child 9784 | 790956c311ef |
--- a/web/views/ajaxcontroller.py Thu Jan 30 18:04:59 2014 +0100 +++ b/web/views/ajaxcontroller.py Tue Feb 04 15:29:29 2014 +0100 @@ -246,7 +246,7 @@ view.render(**kwargs) extresources = self._cw.html_headers.getvalue(skiphead=True) if extresources: - stream.write(u'<div class="ajaxHtmlHead">\n') # XXX use a widget ? + stream.write(u'<div class="ajaxHtmlHead">\n') # XXX use a widget? stream.write(extresources) stream.write(u'</div>\n') if divid == 'pageContent':