diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-04-20 16:48:26 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-04-20 16:48:26 +0300 |
| commit | 4bd016cf3125b8341d0c690e9e3ecace582f54d7 (patch) | |
| tree | 7ab51f846c7608f17bcfa9363266753a377631c7 /debian/patches | |
| parent | 4f840655fcb69f151c73121d790344296f6b43e6 (diff) | |
DocumentWidget: Pre-rendering finetuning
Ensure there is more buffered content available in the current scrolling direction, and also make sure that all buffers get pre-rendered after a short delay with the view being stationary.
Diffstat (limited to 'debian/patches')
0 files changed, 0 insertions, 0 deletions