diff options
| -rw-r--r-- | src/main.cc | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/main.cc b/src/main.cc index 96a6500..50fe463 100644 --- a/src/main.cc +++ b/src/main.cc @@ -514,7 +514,7 @@ private: char tmp; if (io::read(pipe_, &tmp, 1)) { if (tmp == 'd') { - draw(); + force_draw(); return; } } @@ -568,7 +568,7 @@ private: void draw() { // Animator will draw soon anyway, so let it if (animator_ && animator_->active()) return; - tick(nullptr); + force_draw(); } static void rounded_path(cairo_t* cr, double x, double y, @@ -755,11 +755,15 @@ private: draw(); } - void tick(Animator*) override { + void force_draw() { internal_draw(); xcb_flush(wnd_.conn()); } + void tick(Animator*) override { + force_draw(); + } + void animate(Machine& machine) { if (!animator_) return; if (machine.animation) return; |