changeset 5177 | 395e1ff018ae |
parent 5174 | 78438ad513ca |
parent 5157 | 1202e6565aff |
child 5201 | 2b4267157f85 |
--- a/web/views/basecontrollers.py Wed Apr 07 14:42:44 2010 +0200 +++ b/web/views/basecontrollers.py Wed Apr 07 14:42:55 2010 +0200 @@ -410,6 +410,7 @@ extraargs = extraargs or {} stream = comp.set_stream() comp.render(**extraargs) + # XXX why not _call_view ? extresources = self._cw.html_headers.getvalue(skiphead=True) if extresources: stream.write(u'<div class="ajaxHtmlHead">\n')