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/util.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/util.h')
0 files changed, 0 insertions, 0 deletions