diff -r 4290e4899222 -r 9fb63cf5cc90 src/widgets/dropdown.cpp
--- a/src/widgets/dropdown.cpp	Mon Apr 07 20:18:51 2008 +0000
+++ b/src/widgets/dropdown.cpp	Mon Apr 07 20:28:58 2008 +0000
@@ -313,6 +313,10 @@
 	ShowDropDownList(w, list, selected, button);
 }
 
+/**
+ * Delete the drop-down menu from window \a pw
+ * @param pw Parent window of the drop-down menu window
+ */
 void HideDropDownMenu(Window *pw)
 {
 	Window **wz;