# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 842855505 0
# Node ID 4c03f0e575d7023b4cfb9fa77068cf3332e0a3bb
# Parent  40552cb9a45db460626e25b9e0922052c7eae0ec
(IT_set_menu_bar_lines): Clear last_overlay_modified field.

diff -r 40552cb9a45d -r 4c03f0e575d7 src/msdos.c
--- a/src/msdos.c	Mon Sep 16 06:31:10 1996 +0000
+++ b/src/msdos.c	Mon Sep 16 06:31:45 1996 +0000
@@ -690,6 +690,7 @@
   struct window *w = XWINDOW (window);
 
   XSETFASTINT (w->last_modified, 0);
+  XSETFASTINT (w->last_overlay_modified, 0);
   XSETFASTINT (w->top, XFASTINT (w->top) + n);
   XSETFASTINT (w->height, XFASTINT (w->height) - n);