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 15:01:13 +0300 |
| commit | 538f0fe2433344184f8c6c9435334a0e475fdcc6 (patch) | |
| tree | acf6882e5e903b2ae5d606596641a983bebf27f9 /src/ui/indicatorwidget.c | |
| parent | 4530faec76c12f5fcf337f3786c1819f94bcd7b9 (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/indicatorwidget.c')
0 files changed, 0 insertions, 0 deletions