changeset 7233 | 614f23606091 |
parent 7205 | 9220ae2cacf1 |
child 7235 | 5a0ee8de7f06 |
--- a/web/facet.py Fri Apr 15 12:58:31 2011 +0200 +++ b/web/facet.py Mon Apr 18 19:34:20 2011 +0200 @@ -1125,8 +1125,8 @@ def _render(self): facet = self.facet - facet._cw.add_js('ui.slider.js') - facet._cw.add_css('ui.all.css') + facet._cw.add_js('jquery.ui.js') + facet._cw.add_css('jquery.ui.css') sliderid = make_uid('theslider') facetid = xml_escape(self.facet.__regid__) facet._cw.html_headers.add_onload(self.onload % {