From 1583b1b0c60b9d6e5f04780c1ef8920dfd4a8089 Mon Sep 17 00:00:00 2001 From: Luflosi Date: Sun, 5 Jan 2020 16:02:43 +0100 Subject: [PATCH] Print warning message timeout rounded to two digits after the dot The timeout is 0.25 seconds. Printing 0.25 instead of 0.250000 looks a lot nicer and a resolution of 10 milliseconds should be enough for this warning message anyways. --- kitty/child-monitor.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/child-monitor.c b/kitty/child-monitor.c index 4bcf85a6d..a79df5356 100644 --- a/kitty/child-monitor.c +++ b/kitty/child-monitor.c @@ -641,7 +641,7 @@ draw_resizing_text(OSWindow *w) { static inline bool no_render_frame_received_recently(OSWindow *w, monotonic_t now, monotonic_t max_wait) { bool ans = now - w->last_render_frame_received_at > max_wait; - if (ans) log_error("No render frame received in %f seconds, re-requesting at: %f", monotonic_t_to_s_double(max_wait), monotonic_t_to_s_double(now)); + if (ans) log_error("No render frame received in %.2f seconds, re-requesting at: %f", monotonic_t_to_s_double(max_wait), monotonic_t_to_s_double(now)); return ans; }