diff -r c529be2a15c5 -r 548d99e11ad7 src/widgets/dropdown_type.h
--- a/src/widgets/dropdown_type.h	Thu Aug 07 18:11:09 2008 +0000
+++ b/src/widgets/dropdown_type.h	Thu Aug 07 18:26:13 2008 +0000
@@ -72,7 +72,9 @@
  * @param width    Override the width determined by the selected widget.
  *                 If UINT_MAX then the width is determined by the widest item
  *                 in the list.
+ * @param instant_close Set to true if releasing mouse button should close the
+ *                      list regardless of where the cursor is.
  */
-void ShowDropDownList(Window *w, DropDownList *list, int selected, int button, uint width = 0);
+void ShowDropDownList(Window *w, DropDownList *list, int selected, int button, uint width = 0, bool instant_close = false);
 
 #endif /* WIDGETS_DROPDOWN_TYPE_H */