render: render_timer(): round scaling factor

This commit is contained in:
Daniel Eklöf 2023-06-22 14:35:02 +02:00
parent b656124791
commit cf280e6655
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F

View file

@ -2568,7 +2568,7 @@ render_render_timer(struct terminal *term, struct timespec render_time)
char32_t text[256];
mbstoc32(text, usecs_str, ALEN(text));
const int scale = term->scale;
const int scale = round(term->scale);
const int cell_count = c32len(text);
const int margin = 3 * scale;
const int width =