--- web.py.orig	2006-02-04 01:18:30.065466984 +0100
+++ web.py	2006-02-04 01:18:36.948420616 +0100
@@ -51,7 +51,7 @@
 
     return request.theme.make_icon(icon)
 
-def makeSelection(name, values, selectedval=None):
+def makeSelection(name, values, selectedval=None, size="1"):
     """ Make a HTML <select> element named `name` from a value list.
         The list can either be a list of strings, or a list of
         (value, label) tuples.
@@ -59,7 +59,7 @@
         `selectedval` is the value that should be pre-selected.
     """
     from MoinMoin.widget import html
-    result = html.SELECT(name=name)
+    result = html.SELECT(name=name, size="%s" % size)
     for val in values:
         if not isinstance(val, type(())):
             val = (val, val)