diff src/xdisp.c @ 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 0d73575a1c0e
children 0d7b62a295be
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;