# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1077930136 0
# Node ID d1e478a807f422ab19bf25535df3799621b5e888
# Parent  faae5056606e728af0694065cdaed4a7e012c6ae
(update_window): Update header line also if there are
no other changes in window (move code after set_cursor label).

diff -r faae5056606e -r d1e478a807f4 src/dispnew.c
--- a/src/dispnew.c	Fri Feb 27 23:55:32 2004 +0000
+++ b/src/dispnew.c	Sat Feb 28 01:02:16 2004 +0000
@@ -4135,16 +4135,6 @@
 	  changed_p = 1;
 	}
 
-      /* Update the header line after scrolling because a new header
-	 line would otherwise overwrite lines at the top of the window
-	 that can be scrolled.  */
-      if (header_line_row && header_line_row->enabled_p)
-	{
-	  header_line_row->y = 0;
-	  update_window_line (w, 0, &mouse_face_overwritten_p);
-	  changed_p = 1;
-	}
-
       /* Update the rest of the lines.  */
       for (n_updated = 0; row < end && (force_p || !input_pending); ++row)
 	if (row->enabled_p)
@@ -4181,6 +4171,16 @@
 
     set_cursor:
 
+      /* Update the header line after scrolling because a new header
+	 line would otherwise overwrite lines at the top of the window
+	 that can be scrolled.  */
+      if (header_line_row && header_line_row->enabled_p)
+	{
+	  header_line_row->y = 0;
+	  update_window_line (w, 0, &mouse_face_overwritten_p);
+	  changed_p = 1;
+	}
+
       /* Fix the appearance of overlapping/overlapped rows.  */
       if (!paused_p && !w->pseudo_window_p)
 	{