On Fri, Apr 05, 2024 at 09:00:37PM +0000, Pavel Sanda wrote: > commit 77273303a5e22df45239d705e830baa5c0c3fcf1 > Author: Pavel Sanda <sanda at lyx.org> > Date: Fri Apr 5 22:59:07 2024 +0200 > > Improve stats update times for buffer switches and toolbar toggles. Riki, Ok for 2.4.1? Pavel