Redraw when sync stops again (accidentally turned off), from Japin Li in

GitHub issue 5304.
This commit is contained in:
nicm
2026-06-30 09:20:43 +00:00
parent a97f643bd3
commit abefc3f705

View File

@@ -1011,6 +1011,8 @@ screen_write_stop_sync(struct window_pane *wp)
evtimer_del(&wp->sync_timer);
wp->base.mode &= ~MODE_SYNC;
wp->flags |= PANE_REDRAW;
log_debug("%s: %%%u stopped sync mode", __func__, wp->id);
}