src/dispnew.c (update_frame_with_menu): Set display_completed.

diff --git a/src/ChangeLog b/src/ChangeLog
index 07d2b5bd6438a3302410f97fa8896f1e67a3b794..2e3b465e96eef892263170a921cedfe6ada15661 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2014-06-02  Eli Zaretskii  <eliz@gnu.org>
+
+       * dispnew.c (update_frame_with_menu): Set display_completed.
+
 2014-06-01  Paul Eggert  <eggert@cs.ucla.edu>
 
        * frame.c (x_set_frame_parameters): Don't read uninitialized storage.

diff --git a/src/dispnew.c b/src/dispnew.c
index 7833f8e8af56130f0178674a4f79fa24f3bcb173..1a9eefc5cfc62359c12c2a552f772ffa2f012165 100644 (file)
--- a/src/dispnew.c
+++ b/src/dispnew.c
@@ -3132,12 +3132,11 @@ update_frame_with_menu (struct frame *f)
   check_window_matrix_pointers (root_window);
 #endif
   add_frame_display_history (f, paused_p);
-#else
-  IF_LINT ((void) paused_p);
 #endif
 
   /* Reset flags indicating that a window should be updated.  */
   set_window_update_flags (root_window, false);
+  display_completed = !paused_p;
 }
 
 \f