equal
deleted
inserted
replaced
1123 self.minvalue = minvalue |
1123 self.minvalue = minvalue |
1124 self.maxvalue = maxvalue |
1124 self.maxvalue = maxvalue |
1125 |
1125 |
1126 def _render(self): |
1126 def _render(self): |
1127 facet = self.facet |
1127 facet = self.facet |
1128 facet._cw.add_js('ui.slider.js') |
1128 facet._cw.add_js('jquery.ui.js') |
1129 facet._cw.add_css('ui.all.css') |
1129 facet._cw.add_css('jquery.ui.css') |
1130 sliderid = make_uid('theslider') |
1130 sliderid = make_uid('theslider') |
1131 facetid = xml_escape(self.facet.__regid__) |
1131 facetid = xml_escape(self.facet.__regid__) |
1132 facet._cw.html_headers.add_onload(self.onload % { |
1132 facet._cw.html_headers.add_onload(self.onload % { |
1133 'sliderid': sliderid, |
1133 'sliderid': sliderid, |
1134 'facetid': facetid, |
1134 'facetid': facetid, |