web/facet.py
changeset 7609 fbefd1b9e587
parent 7608 47311917a548
child 7615 e5ad51352eb3
--- a/web/facet.py	Fri Jul 01 16:20:45 2011 +0200
+++ b/web/facet.py	Fri Jul 01 16:20:57 2011 +0200
@@ -989,6 +989,7 @@
     .. _jquery: http://www.jqueryui.com/
     """
     attrtype = 'Float' # only numerical types are supported
+    needs_update = False # not supported actually
 
     @property
     def wdgclass(self):
@@ -1034,9 +1035,6 @@
                                              self.formatvalue(value),
                                              self.attrtype, operator)
 
-    def possible_values(self):
-        # javascript don't know how to update the widget anyway
-        raise facet.DontUpdateFacet()
 
 
 class DateRangeFacet(RangeFacet):
@@ -1087,6 +1085,7 @@
     role = 'subject' # role of filtered entity in the relation
 
     title = property(rtype_facet_title)
+    needs_update = False # not supported actually
     support_and = False
 
     def get_widget(self):