(update_menu_bar): Do update if region display has changed.

1995-05-30 19:43:26 +00:00
parent 19ae9cb06f
commit 94bb7f9b4f
1 changed files with 4 additions and 1 deletions
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -1250,7 +1250,10 @@ update_menu_bar (f, save_match_data)
 	  || !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;