diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-18 12:31:42 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-18 12:31:42 +0300 |
commit | 8ac8290e282a8ce645abc6fd394e53f1de50ae99 (patch) | |
tree | 2635519ec069b74f20b7a6df13921e344ad59af8 /src/ui/documentwidget.h | |
parent | fd8d2634b3349ef3b0fbea10514bb6b247166712 (diff) |
DocumentWidget: Run drawing vs. backgrounds
Erasing the background of every run should no longer be necessary (with progressive rendering), unless the run can change appearance.
Diffstat (limited to 'src/ui/documentwidget.h')
0 files changed, 0 insertions, 0 deletions