diff -r 1db51bb55b45 -r c8e28e1754f0 web/htmlwidgets.py
--- a/web/htmlwidgets.py	Mon Aug 10 13:59:00 2009 +0200
+++ b/web/htmlwidgets.py	Mon Aug 10 15:54:28 2009 +0200
@@ -58,6 +58,9 @@
     def append(self, item):
         self.items.append(item)
 
+    def extend(self, items):
+        self.items.extend(items)
+
     title_class = 'boxTitle'
     main_div_class = 'boxContent'
     listing_class = 'boxListing'