# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 975699147 0
# Node ID 306c56607bea4cdf3199eb89690b2bae4497fd4b
# Parent  7721faa485eae4d8f1da1416d2f5a8a2320db1eb
*** empty log message ***

diff -r 7721faa485ea -r 306c56607bea src/ChangeLog
--- a/src/ChangeLog	Fri Dec 01 19:31:02 2000 +0000
+++ b/src/ChangeLog	Fri Dec 01 19:32:27 2000 +0000
@@ -1,3 +1,11 @@
+2000-12-01  Gerd Moellmann  <gerd@gnu.org>
+
+	* window.c (struct saved_window): Add members orig_top and
+	orig_height.
+	(SAVED_WINDOW_VECTOR_SIZE): Increment to 16.
+	(save_window_save, Fset_window_configuration): Save/restore
+	window's orig_top and orig_height.
+
 2000-12-01  Jason Rumney  <jasonr@gnu.org>
 
 	* w32fns.c (x_set_cursor_color): Fix last change.