equal
deleted
inserted
replaced
677 |
677 |
678 def _render(self): |
678 def _render(self): |
679 facet = self.facet |
679 facet = self.facet |
680 facet.req.add_js('ui.slider.js') |
680 facet.req.add_js('ui.slider.js') |
681 facet.req.add_css('ui.all.css') |
681 facet.req.add_css('ui.all.css') |
682 sliderid = make_uid('the slider') |
682 sliderid = make_uid('theslider') |
683 facetid = xml_escape(self.facet.id) |
683 facetid = xml_escape(self.facet.id) |
684 facet.req.html_headers.add_onload(self.onload % { |
684 facet.req.html_headers.add_onload(self.onload % { |
685 'sliderid': sliderid, |
685 'sliderid': sliderid, |
686 'facetid': facetid, |
686 'facetid': facetid, |
687 'minvalue': self.minvalue, |
687 'minvalue': self.minvalue, |