src/window_gui.h
changeset 8831 c13fdbe2783a
parent 8780 6f3f3ec6c69a
child 8845 e0eac76d3d16
--- a/src/window_gui.h	Thu Jan 17 17:57:39 2008 +0000
+++ b/src/window_gui.h	Thu Jan 17 18:09:15 2008 +0000
@@ -492,6 +492,8 @@
 	WWT_SCROLL2BAR, ///< 2nd vertical scrollbar
 	WWT_RESIZEBOX,
 	WWT_CLOSEBOX,
+	WWT_DROPDOWN,   ///< Raised drop down list (regular)
+	WWT_DROPDOWNIN, ///< Inset drop down list (used on game options only)
 	WWT_LAST,       ///< Last Item. use WIDGETS_END to fill up padding!!
 
 	WWT_MASK = 0x1F,