diff options
author | Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-06-23 14:28:10 +0200 |
---|---|---|
committer | Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-08-08 17:24:00 +0200 |
commit | 432f97a9d47eb6ddd5b347d20b8548593cf66e8b (patch) | |
tree | 7400f1866fd1445d6a675edfd654efb18f6774f6 /src/wayland.hpp | |
parent | d9911e35635ded433ed1e56bb88dbba2726aac1b (diff) |
main: flush after execute_pending
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
Diffstat (limited to 'src/wayland.hpp')
0 files changed, 0 insertions, 0 deletions