changeset 10083 | 9fb63cf5cc90 |
parent 9039 | dc7fc84d1372 |
child 10113 | 0233cd056e70 |
--- 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;