Merge pull request #8971 from bfredl/flush_on_exit

ui: flush UI state on exit
This commit is contained in:
Björn Linse 2018-09-10 18:58:06 +02:00 committed by GitHub
commit d4e6a75a06
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -138,8 +138,8 @@ void mch_exit(int r)
{
exiting = true;
ui_builtin_stop();
ui_flush();
ui_builtin_stop();
ml_close_all(true); // remove all memfiles
if (!event_teardown() && r == 0) {