web/facet.py
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 % {