Get rid of the "Let it run" prompt?

[Jürgen Spitzmüller]

Am Freitag, dem 25.11.2022 um 09:10 -0700 schrieb Joel Kulesza:
> Perhaps a related use: reporting render time in the status bar.  In
> particular, I would find this useful for long-rendering documents
> that I have a sense of time for.  When the time is well exceeded, I
> can assume that I've introduced a problem and can then kill it.

The status bar is already too crowded. But we could report it via the
spinner's tooltip.

-- 
Jürgen