src/window_gui.h
changeset 9242 787ddde2b852
parent 9238 e2f586d12318
child 9251 bee6451d87a7
--- a/src/window_gui.h	Thu May 15 19:24:15 2008 +0000
+++ b/src/window_gui.h	Thu May 15 20:04:10 2008 +0000
@@ -515,17 +515,6 @@
 	/*** End of the event handling ***/
 };
 
-struct menu_d {
-	byte item_count;      ///< follow_vehicle
-	byte sel_index;       ///< scrollpos_x
-	byte main_button;     ///< scrollpos_y
-	byte action_id;
-	StringID string_id;   ///< unk30
-	uint16 checked_items; ///< unk32
-	byte disabled_items;
-};
-assert_compile(WINDOW_CUSTOM_SIZE >= sizeof(menu_d));
-
 struct def_d {
 	int16 data_1, data_2, data_3;
 };