changeset 12022:497ad07c31c2

(update_menu_bar): Do update if region display has changed.
author Karl Heuer <kwzh@gnu.org>
date Tue, 30 May 1995 19:43:26 +0000
parents a0a920f1fad4
children 1a3e7aef5f8a
files src/xdisp.c
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/xdisp.c	Tue May 30 19:35:59 1995 +0000
+++ b/src/xdisp.c	Tue May 30 19:43:26 1995 +0000
@@ -1250,7 +1250,10 @@
 	  || !NILP (w->update_mode_line)
 	  || (XFASTINT (w->last_modified) < MODIFF
 	      && (XFASTINT (w->last_modified)
-		  <= BUF_SAVE_MODIFF (XBUFFER (w->buffer)))))
+		  <= BUF_SAVE_MODIFF (XBUFFER (w->buffer))))
+	  || ((!NILP (Vtransient_mark_mode)
+	       && !NILP (XBUFFER (w->buffer)->mark_active))
+	      != !NILP (w->region_showing)))
 	{
 	  struct buffer *prev = current_buffer;
 	  int count = specpdl_ptr - specpdl;