From 2825350f17404252d0beb761740f628135607eb9 Mon Sep 17 00:00:00 2001
From: Adrien Destugues <pulkomandy@gmail.com>
Date: Wed, 17 Dec 2008 20:52:39 +0000
Subject: [PATCH] We missed a flush_update there...

git-svn-id: svn://pulkomandy.tk/GrafX2/trunk@399 416bcca6-2ee7-4201-b75f-2eb2f807beb1
---
 divers.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/divers.c b/divers.c
index 990aea7f..5216911c 100644
--- a/divers.c
+++ b/divers.c
@@ -268,7 +268,11 @@ int Get_input(void)
       break;
     }
   }
-  else return 0; // Il ne s'est rien passé
+  else
+  {
+    Flush_update();
+    return 0; // Il ne s'est rien passé
+  }
 
   //Gestion "avancée" du curseur: interdire la descente du curseur dans le
   //menu lorsqu'on est en train de travailler dans l'image