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

diff --git a/src/xdisp.c b/src/xdisp.c
index f711abded461ff9e282babed13f193355ed551c9..f341c06478525ce136214f1cd06fecbd9bc25603 100644 (file)
--- 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;