equal
deleted
inserted
replaced
1094 def __init__(self, facet): |
1094 def __init__(self, facet): |
1095 self.facet = facet |
1095 self.facet = facet |
1096 self.value = None |
1096 self.value = None |
1097 |
1097 |
1098 def height(self): |
1098 def height(self): |
1099 return 2 |
1099 return 3 |
1100 |
1100 |
1101 def _render(self): |
1101 def _render(self): |
1102 title = xml_escape(self.facet.title) |
1102 title = xml_escape(self.facet.title) |
1103 facetid = xml_escape(self.facet.__regid__) |
1103 facetid = xml_escape(self.facet.__regid__) |
1104 self.w(u'<div id="%s" class="facet">\n' % facetid) |
1104 self.w(u'<div id="%s" class="facet">\n' % facetid) |
1230 self.facet = facet |
1230 self.facet = facet |
1231 self.value = value |
1231 self.value = value |
1232 self.selected = selected |
1232 self.selected = selected |
1233 |
1233 |
1234 def height(self): |
1234 def height(self): |
1235 return 1 |
1235 return 2 |
1236 |
1236 |
1237 def _render(self): |
1237 def _render(self): |
1238 title = xml_escape(self.facet.title) |
1238 title = xml_escape(self.facet.title) |
1239 facetid = xml_escape(self.facet.__regid__) |
1239 facetid = xml_escape(self.facet.__regid__) |
1240 self.w(u'<div id="%s" class="facet">\n' % facetid) |
1240 self.w(u'<div id="%s" class="facet">\n' % facetid) |