main: flush after execute_pending

Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>

diff --git a/src/main.cpp b/src/main.cpp
index d49c0cb..364e535 100644 (file)
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -143,6 +143,7 @@ int main(int argc, char **argv) {
 
    while (check_events(d.get(), &c, STDIN_FILENO) != -1) {
       c.c->execute_pending();
+      d->flush();
    }
 
    d->roundtrip();