* src/pgtkterm.c (map_event): Remove record_asynch_buffer_change call.

This commit is contained in:
Yuuki Harano 2020-12-14 02:05:29 +09:00
parent 3e30047ce3
commit a44cd7c881

View file

@ -5949,10 +5949,6 @@ map_event (GtkWidget * widget, GdkEvent * event, gpointer * user_data)
inev.ie.kind = DEICONIFY_EVENT;
XSETFRAME (inev.ie.frame_or_window, f);
}
else if (!NILP (Vframe_list) && !NILP (XCDR (Vframe_list)))
/* Force a redisplay sooner or later to update the
frame titles in case this is the second frame. */
record_asynch_buffer_change ();
}
if (inev.ie.kind != NO_EVENT)