Q: Is there a way to (temporarily) increase the rate at which the mode line is redisplayed?
I was trying to write a package that adds a spinner to the mode line (to indicate ongoing operations), but I hit a bit of a wall. If the user is not interacting (not typing, or moving, or something), then the mode-line might stop updating for up to a minute. If that's the case then the spinner won't spin.
I started writing a solution with timers (that would periodically
redisplay), but that seems like a lot of work for something so