--- a/src/window_gui.h	Sat May 17 13:01:30 2008 +0000
+++ b/src/window_gui.h	Sat May 17 13:04:30 2008 +0000
@@ -299,7 +299,6 @@
 	byte caption_color; ///< Background color of the window caption, contains PlayerID
 
 	ViewportData *viewport;      ///< Pointer to viewport data, if present
-	const Widget *original_widget; ///< Original widget layout, copied from WindowDesc
 	Widget *widget;        ///< Widgets of the window
 	uint widget_count;     ///< Number of widgets of the window
 	uint32 desc_flags;     ///< Window/widgets default flags setting, @see WindowDefaultFlag