poire-z 48eb02318d Dispatcher: avoid multiple cre rerenderings when many settings changed (#9651) ...

When a gesture/profile was updating multiple cre settings,
each setting handler would emit UpdatePos which each would
force a re-rendering.
When this might be happening, postpone the rerendering
until all are set.
Needs some bit of refactoring to the events at play:
introduce "DocumentRerendered" event, and use it where
we used "UpdatePos" or "UpdateToc" to mean exactly that.

2022-10-25 13:16:01 +02:00

..

modules

Dispatcher: avoid multiple cre rerenderings when many settings changed (#9651)

2022-10-25 13:16:01 +02:00

readerui.lua

Clarify our OOP semantics across the codebase (#9586)

2022-10-06 02:14:48 +02:00