web/htmlwidgets.py
changeset 2757 c8e28e1754f0
parent 2312 af4d8f75c5db
child 2996 866a2c135c33
equal deleted inserted replaced
2754:1db51bb55b45 2757:c8e28e1754f0
    55     def is_empty(self):
    55     def is_empty(self):
    56         return len(self) == 0
    56         return len(self) == 0
    57 
    57 
    58     def append(self, item):
    58     def append(self, item):
    59         self.items.append(item)
    59         self.items.append(item)
       
    60 
       
    61     def extend(self, items):
       
    62         self.items.extend(items)
    60 
    63 
    61     title_class = 'boxTitle'
    64     title_class = 'boxTitle'
    62     main_div_class = 'boxContent'
    65     main_div_class = 'boxContent'
    63     listing_class = 'boxListing'
    66     listing_class = 'boxListing'
    64 
    67