On Fri, Nov 25, 2022 at 9:19 AM Jürgen Spitzmüller <jspi...@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
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
