wimp/dropdown_box

A drop-down menu.

TODO