fix(exit): the TUI should not ui_flush() itself (#21625)

This commit is contained in:
zeertzjq 2023-01-03 17:21:42 +08:00 committed by GitHub
parent 4dd793a256
commit c3d8665851
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 1 deletions

View File

@ -627,7 +627,9 @@ void os_exit(int r)
{
exiting = true;
ui_flush();
if (!ui_client_channel_id) {
ui_flush();
}
ui_call_stop();
ml_close_all(true); // remove all memfiles

View File

@ -506,6 +506,7 @@ handle_T ui_cursor_grid(void)
void ui_flush(void)
{
assert(!ui_client_channel_id);
if (!ui_active()) {
return;
}