--- a/src/window.cpp	Sat May 17 13:01:30 2008 +0000
+++ b/src/window.cpp	Sat May 17 13:04:30 2008 +0000
@@ -804,13 +804,10 @@
  * @param widget pointer of widget array to fill the window with
  *
  * @post \c w->widget points to allocated memory and contains the copied widget array except for the terminating widget,
- *       \c w->original_widget points to the original widgets,
  *       \c w->widget_count contains number of widgets in the allocated memory.
  */
 static void AssignWidgetToWindow(Window *w, const Widget *widget)
 {
-	w->original_widget = widget;
-
 	if (widget != NULL) {
 		uint index = 1;
 

--- 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