mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
When a profile changes a few settings (ie. font), a few notifications may be stacked, before the single rerendering happens. If that rendering takes some time, the notifications' timeout may close them as soon as it is done, before they get a chance to be painted/refreshed. So, delay a bit more that rerendering to be sure the notifications are shown.