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 -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
