# HG changeset patch # User Adrien Di Mascio # Date 1253524735 -7200 # Node ID c61a526b530e6904f4e1a5fddfa1238de3d14ce1 # Parent 91cff87c368f0294794121c4e7e2daada49ff26c [widgets] change make_uid() seed to make slider ids xhtml-valid diff -r 91cff87c368f -r c61a526b530e web/facet.py --- a/web/facet.py Fri Sep 18 19:51:45 2009 +0200 +++ b/web/facet.py Mon Sep 21 11:18:55 2009 +0200 @@ -679,7 +679,7 @@ facet = self.facet facet.req.add_js('ui.slider.js') facet.req.add_css('ui.all.css') - sliderid = make_uid('the slider') + sliderid = make_uid('theslider') facetid = xml_escape(self.facet.id) facet.req.html_headers.add_onload(self.onload % { 'sliderid': sliderid,