commit c1fd622c51752d790576600f5911813ff8dac3fa
Author: Jean-Marc Lasgouttes
Date: Tue Apr 16 11:45:09 2024 +0200
Sanitize cursors after a buffer has been reloaded
When a buffer is reloaded, its content may remain the same, but the
memory allocation is new, so that the inset
commit 365ff71e2319673c2685be79963443fee13c333b
Author: Richard Kimberly Heck
Date: Tue Apr 16 12:15:50 2024 -0400
Defer construction of temporary cursor.
We were doing this on every mouse movement. I.e., for every single
pixel the mouse traverses. It can be expensive if there
commit 2f6b24297f97ea2a765705fbf21e1214a7ba38ba
Author: Juergen Spitzmueller
Date: Tue Apr 16 18:25:38 2024 +0200
g-brief loads babel internally. So don't load it ourselves.
This makes the class fully functional with non-TeX fonts (it uses
\babelfont for the purpose). Before,
commit 4e8aa89eb96cd73e6630deea6fd6b9d3039aab6c
Author: Richard Kimberly Heck
Date: Tue Apr 16 12:15:50 2024 -0400
Defer construction of temporary cursor.
We were doing this on every mouse movement. I.e., for every single
pixel the mouse traverses. It can be expensive if there