-
Gerd Moellmann authored
orig_height. (SAVED_WINDOW_VECTOR_SIZE): Increment to 16. (save_window_save, Fset_window_configuration): Save/restore window's orig_top and orig_height.
a1d58e5b
orig_height. (SAVED_WINDOW_VECTOR_SIZE): Increment to 16. (save_window_save, Fset_window_configuration): Save/restore window's orig_top and orig_height.