mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
When toggling between scroll and page modes multiple times, _gotoXPointer() could find the xpointer to be already positionned and avoid calling setDirty() (so not enqueuing a whole screen refresh). But the page will be slightly moved to account for the top margin disappearing. We need that whole screen refresh in such cases, so ensure one is enqueued.