What timers really need to run 10 times a second?

I'd like to create a timer to dynamically update the tab bar, similar to the effect shown in this video: [https://imgur.com/a/2QAtDQC].

Could you suggest some efficient ways to achieve this?

On Thu, Feb 27, 2025 at 11:05 PM Eli Zaretskii <eliz@gnu.org> wrote:
> From: Eval Exec <execvy@gmail.com>
> Date: Thu, 27 Feb 2025 22:34:44 +0800
> Cc: 76609@debbugs.gnu.org
>
> 45% CPU for a 0.1s repeating timer does seem surprisingly high. Is
> there a way we can optimize this, given the frequent timer
> invocations?

We already optimize that as much as we can, AFAIK.

What timers really need to run 10 times a second?