Add a couple of fixes to allow double buffering to work

[picodrive.git] / platform / common / emu.c

diff --git a/platform/common/emu.c b/platform/common/emu.c
index 18f63f2..12d8c09 100644 (file)
--- a/platform/common/emu.c
+++ b/platform/common/emu.c
@@ -1379,6 +1379,8 @@ void emu_loop(void)
                        {\r
                                notice_msg_time = 0;\r
                                plat_status_msg_clear();\r
+                               plat_video_flip();\r
+                               plat_status_msg_clear(); /* Do it again in case of double buffering */\r
                                notice_msg = NULL;\r
                        }\r
                        else {\r