equal
deleted
inserted
replaced
237 view.pagination(req, rset, view.w, not view.need_navigation) |
237 view.pagination(req, rset, view.w, not view.need_navigation) |
238 if divid == 'pageContent': |
238 if divid == 'pageContent': |
239 stream.write(u'<div id="contentmain">') |
239 stream.write(u'<div id="contentmain">') |
240 view.dispatch() |
240 view.dispatch() |
241 extresources = req.html_headers.getvalue(skiphead=True) |
241 extresources = req.html_headers.getvalue(skiphead=True) |
242 stream.write(u'<div class="ajaxHtmlHead">\n') # XXX use a widget ? |
242 if extresources: |
243 stream.write(extresources) |
243 stream.write(u'<div class="ajaxHtmlHead">\n') # XXX use a widget ? |
244 stream.write(u'</div>\n') |
244 stream.write(extresources) |
|
245 stream.write(u'</div>\n') |
245 if req.form.get('paginate') and divid == 'pageContent': |
246 if req.form.get('paginate') and divid == 'pageContent': |
246 stream.write(u'</div></div>') |
247 stream.write(u'</div></div>') |
247 source = stream.getvalue() |
248 source = stream.getvalue() |
248 return self._set_content_type(view, source) |
249 return self._set_content_type(view, source) |
249 |
250 |