Get rid of the "Let it run" prompt?

[Joel Kulesza]

On Fri, Nov 25, 2022 at 9:19 AM Jürgen Spitzmüller <jspitzm at gmail.com>
wrote:

> 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.


Sounds good.

Thanks,
Joel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20221125/7952f979/attachment.html>