diff -r 37291ba2aa2a -r 4daa9bb8dbf7 src/window_gui.h --- a/src/window_gui.h Tue Mar 25 21:58:13 2008 +0000 +++ b/src/window_gui.h Wed Mar 26 10:08:17 2008 +0000 @@ -499,6 +499,7 @@ WWT_CLOSEBOX, WWT_DROPDOWN, ///< Raised drop down list (regular) WWT_DROPDOWNIN, ///< Inset drop down list (used on game options only) + WWT_EDITBOX, ///< a textbox for typing (don't forget to call ShowOnScreenKeyboard() when clicked) WWT_LAST, ///< Last Item. use WIDGETS_END to fill up padding!! WWT_MASK = 0x1F,