diff options
author | waker <wakeroid@gmail.com> | 2011-04-16 19:29:24 +0200 |
---|---|---|
committer | waker <wakeroid@gmail.com> | 2011-04-16 19:29:24 +0200 |
commit | b29ddcfa28e9f1c6e664e3bbe202c4faf41998e7 (patch) | |
tree | d14c30b45547963747b65d037c1cede96702a954 | |
parent | 602dc1dcdb9937ac2aaeb28aaedc0cf6d39abaaa (diff) |
ensure that all messages sent before mainloop get executed;
this fixes problem with gtkui not catching playlistswitched event, etc
-rw-r--r-- | main.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -391,7 +391,6 @@ player_mainloop (void) { uintptr_t ctx; uint32_t p1; uint32_t p2; - messagepump_wait (); int term = 0; while (messagepump_pop(&msg, &ctx, &p1, &p2) != -1) { // broadcast to all plugins @@ -475,6 +474,7 @@ player_mainloop (void) { if (term) { return; } + messagepump_wait (); //usleep(50000); //plug_trigger_event (DB_EV_FRAMEUPDATE, 0); } |